R. J. Feiertag and P. G. Neumann. The foundations of a provably secure operating system (PSOS). In AFIPS Conference Proceedings (NCC 79), pages 329--334, New York, NY, USA, June 1979. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Security Design In Distributed Computing Applications - Zeleznik (1993) (Correct)
.... 70s [13] In response, the Air Force sponsored several studies to design and verify secure multilevel operating systems [200] The methodology that grew was founded on the security kernel concept, which was based on the reference monitor model of 12 security [2] These operating systems, such as [183, 78, 167, 84, 93, 141, 27], were based on more formal approaches to design and verification. Conventional database systems were also addressed, as with integrity issues, or the inference aggregate problems in statistical databases[60, 79] Also in the 1970s, with the onset of networking, new efforts were launched toward ....
....issue, reserving the discussion of policy modeling for the following section. 4.5. 1 Specification and Verification Two of the earliest efforts to produce a formally verifiable system were the Kernelized Secure Operating System (KSOS) 141, 27] and the Provably Secure Operating System (PSOS)[78]. Many other efforts have since taken place, such as in operating systems, database systems, and networks. Examples include UCLA Secure UNIX [199] the Honeywell Secure Communications Processor (SCOMP) 23, 84] now certified at TCSEC Class A1 [67, 158] the SeaView multilevel secure relational ....
Feiertag, R., and Neumann, P. The foundations of a provably secure operating system (psos). In 1979 National Computer Conference, AFIPS Conf. Proc. Vol. 48 (1979), AFIPS, pp. 329--34.
The Factorization of Memory-Communication Dualism and other Tales .. - Loepere (1996) (Correct)
....no circularities. Layers simplify reasoning about complex interactions by providing an ordering upon the analysis of the interactions. Layering is common in high assurance systems. First suggested by Dijkstra [5] it was subsequently applied seriously to OS in Multics Guardian [14] and SRI s PSOS [8]. The use of layering was considered so fundamental to the structuring and analysis of high assurance software that it became an Orange Book [6] requirement for security evaluation class B3 and above. Unfortunately, layering is generally ignored in most OS work. It is perceived as being ....
R. Feiertag, R. Neumann, The Foundation of a Provably Secure Operating System (PSOS), Proceedings of the AFIPS NCC, June, 1979.
Kit: A Study in Operating System Verification - Bevier (1989) (23 citations) (Correct)
....described security policy, implement the kernel, and prove the implementation correct. Some projects were intended to complete only an initial portion of this sequence of goals. The goals were met with varying degrees of success. Many security kernel projects are reported in the literature: PSOS [Feiertag 79, Neumann 77] KSOS [McCauley 79, Berson 79] UCLA Secure Unix project [Popek 79, Walker 80] KVM 370 [Gold 79] and SCOMP [Fraim 83] The Secure Ada Target (SAT, now called LOCK) Boebert 85] is an ongoing project at Honeywell. Landwehr [Landwehr 83] gives a useful summary of the state of the art ....
R.J. Feiertag, P.G. Neumann. The Foundations of a Provably Secure Operating System (PSOS). In AFIPS Conference Proceedings, pages 329-334. 1979.
Achieving Principled Assuredly Trustworthy - Composable Systems And Self-citation (Neumann) (Correct)
No context found.
R.J. Feiertag and P.G. Neumann. The foundations of a Provably Secure Operating System (PSOS). In Proceedings of the National Computer Conference, pages 329--334. AFIPS Press, 1979.
PSOS Revisited - Neumann, Feiertag (2003) (1 citation) Self-citation (Feiertag Neumann) (Correct)
No context found.
R.J. Feiertag and P.G. Neumann. The foundations of a Provably Secure Operating System (PSOS). In Proceedings of the National Computer Conference, pages 329--334. AFIPS Press, 1979. http://www.csl.sri.com/neumann/psos.pdf.
Running the Manual: An Approach to High-Assurance - Microkernel Development Philip (Correct)
No context found.
R. J. Feiertag and P. G. Neumann. The foundations of a provably secure operating system (PSOS). In AFIPS Conference Proceedings (NCC 79), pages 329--334, New York, NY, USA, June 1979.
Principled Assuredly Trustworthy Composable Architectures - Neumann (2004) (2 citations) (Correct)
No context found.
R.J. Feiertag and P.G. Neumann. The foundations of a Provably Secure Operating System (PSOS). In Proceedings of the National Computer Conference, pages 329-334. AFIPS Press, 1979. http://www.csl.sri.com/neumann/psos.pdf.
A Verified Operating System Kernel - Bevier (1987) (12 citations) (Correct)
No context found.
R.J. Feiertag, P.G. Neumann. The Foundations of a Provably Secure Operating System (PSOS). In AFIPS Conference Proceedings, pages 329-334. 1979.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC