A Verified Operating System Kernel (1987)

by William R. Bevier
Venue:UNIVERSITY OF TEXAS AT AUSTIN
Citations:30 - 1 self

Active Bibliography

59 Kit: A Study in Operating System Verification – William R. Bevier - 1989
2 Comparing Gypsy and the Boyer-Moore logic for specifying secure systems – Matt Kaufmann, William D. Young - 1987
22 A Verified Code Generator For A Subset Of Gypsy – William D. Young, William D. Young, William D. Young - 1988
30 The Boyer-Moore Theorem Prover and Its Interactive Enhancement – Robert S. Boyer, Matt Kaufmann, J Strother Moore - 1995
142 Formal models for computer security – Carl E. Landwehr - 1981
24 A Theorem Prover for a Computational Logic – Robert S. Boyer, J Strother Moore - 1990
1 FOUNDATIONS OF WEB SCRIPT SECURITY – Aaron Bohannon - 2012
123 Design and Verification Of Secure Systems – John Rushby - 1981
14 Theft of information in the take-grant protection model – Matt Bishop, Matt Bishop - 1988
14 Program verification – Robert S. Boyer, J Strother Moore - 1985
1 A Mechanically Verified Proof System for Concurrent Programs – David M. Goldschlag - 1989
7 MECHANICALLY VERIFYING CONCURRENT PROGRAMS – David Moshe Goldschlag - 1992
6 A layered approach to simplified access control in virtualized systems – Bryan D. Payne, Ron Perez, Reiner Sailer, Wenke Lee, Ramón Cáceres - 2007
LOST TREASURES Lessons from VAX/SVS for High-Assurance VM Systems – Steve Lipner Microsoft, Trent Jaeger, Mary Ellen, Zurko Cisco Systems, Paul Karger, Steve Lipner
28 Mechanized Formal Reasoning about Programs and Computing Machines – Robert S. Boyer, J Strother Moore - 1996
36 Design Goals for ACL2 – Matt Kaufmann, J Strother Moore - 1994
32 Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor – Robert S. Boyer, Yuan Yu - 1991
3 The Role of Automated Reasoning in Integrated System Verification Environments – Donald I. Good, Matt Kaufmann, J Strother Moore - 1992
2 The Distributed Compartment Model for Resource Management and Access Control – Steven J. Greenwald, Richard E. Newman-Wolfe, Key To Symbols - 1994