On the synthesis and analysis of protection systems

Abstract

The design of a protection system for an operating system is seen to involve satisfying the competing properties of richness and integrity. Achieving both requires the interplay of analysis and synthesis. Using a formal model from the literature, three designs are developed whose integrity (with the help of the model) can be shown.

References

1. 1 A. K. Jones, R. J. Lipton, and L. Snyder. A linear time algorithm for deciding security. Proceedings of the 17th FOCS (1976).
2. 2 R. J. Lipton and L. Snyder. A linear time algorithm for deciding subject security. JACM 24:3 (1977).
3. 3 M. A. Harrison, W. L. Ruzzo, and J. D. Ullman. Protection in operating systems. CACM 19:8 (1976).

Index Terms

• Hardware

  • Hardware validation

• Mathematics of computing

  • Discrete mathematics

    • Graph theory

• Security and privacy

  • Systems security

    • Operating systems security