A formal method experience at secure computing corporation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1427 LNCS, Issue , 1998, Pages 49-56

  Hoffman, John ^a   Payne, Charlie ^a  

^a Secure Computing Corporation   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS;

DEVELOPMENT PROCESS; SECURE OPERATING SYSTEM;

FORMAL METHODS;

EID: 84863938913     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0028731     Document Type: Conference Paper

References (17)

1. Martin Abadi and Lesli Lamport. Conjoining specifications. Technical Report 118, Digital Equipment Corporation, Systems Research Center, December 1993.
2. W.E. Boebert and R.Y. Kain. "A Practical Alternative to Hierarchical Integrity Policies". In Proceedings of the 8th National Computer Security Conference, pages 18-27, October 1985.
3. National Computer Security Center. Department of Defense Trusted Computer System Evaluation Criteria. Technical report, US National Computer Security Center, NCSC, Fort Meade, Maryland, 1985.
4. Michael Carney and Brian Loe. A comparison of methods for implementing adaptive security poli cies. In Seventh USENIX Security Symposium Proceedings, pages 1-14, San Antonio, TX, January 1998. USENIX Association.
5. Secure Computing Corporation. DTOS Composability Study. Technical report, 1997. http://www.securecomputing.com/randt/HTML/technical-docs.html.
6. Todd Fine, Thomas Haigh, Richard O'Brien, and Dana Toups. Noninterference and Unwinding for LOCK. In Proceedings of Computer Security Foundations Workshop II, pages 22-28, Franconia, NH, Jun 1989. IEEE. (Pubitemid 20616546)
7. Todd Fine. Constructively Using Noninterference to Analyze Systems. In IEEE Symposium on Security and Privacy, pages 162-169, Oakland, CA, May 1990. (Pubitemid 20739284)
8. Todd Fine. A framework for composition. In Proceedings of the Eleventh Annual Conference on Computer Assurance, pages 199-212, June 1996.
9. Todd Fine and Spencer E. Minear. Assuring Distributed Trusted Mach. In Proceedings IEEE Computer Society Symposium on Research in Security and Privacy, pages 206-218, May 1993. (Pubitemid 23689440)
10. John Hoffman. Implementing RBAC on a Type Enforced System. In Proceedings of the Thirteenth Annual Computer Security Applications Conference, pages 158-163, 1997.
11. John McLean. A general theory of composition for trace sets closed under selective interleaving functions. In Proceedings of the IEEE Symposium on Security and Privacy, Oakland, CA, May 1994.
12. Spencer E. Minear. Providing policy control over object operations in a mach based system. In Fifth USENIX Security Symposium Proceedings, pages 141-156, Salt Lake City, UT, June 1995. USENIX Association.
13. Owre, Shankar and Rushby. The PVS Specification Language (Beta Release). User Manual, SRI International Computer Science Laboratory, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, June 1993. http://www.csl.sri.com/reports/ pvs-language.dvi,ps.Z.
14. Owre, Shankar, Rushby, Crow and Srivas. A Tutorial Introduction to PVS. User Manual, SRI International Computer Science Laboratory, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, June 1995. http://www.csl.sri.com/sri-csl-fm. html.
15. John Rushby. Noninterference, Transitivity, and Channel-Control Security Policies. Technical Report CSL-92-02, SRI International Computer Science Laboratory, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, December 1992. http://www.csl.sri.com/csl-92-2.html.
16. Sami Saydjari. LOCK Trek: Navigating Uncharted Space. In Proceedings of the IEEE Symposium on Security and Privacy, Oakland, CA, 1989.
17. Ravi Sandhu, Edward Coyne, Hal Feinstein, and Charles Youman. Role-based access control models. IEEE Computer, 29(2):38-47, February 1996.