William R. Bevier

Publication Activity (10 Years)

Years Active: 1987-1997
Publications (10 Years): 0

Publications

William D. Young, William R. Bevier
Mathematical Modeling and Analysis of an External Memory Manager. FME (1997)
Richard L. Ford, William R. Bevier, Richard T. Simon, Lawrence M. Smith
The Specification-Based Testing of a Trusted Kernel: MK++. ICFEM (1997)
William R. Bevier, William D. Young
A State-Machine Approach to Non-Interference. J. Comput. Secur. 3 (1) (1995)
William R. Bevier, Richard M. Cohen, William D. Young
Connection policies and controlled interference. CSFW (1995)
William D. Young, William R. Bevier
A State-Based Approach to Non-Interference. CSFW (1994)
William R. Bevier, William D. Young
Machine Checked Proofs of the Design of a Fault-Tolerance Circuit. Formal Aspects Comput. 4 (6A) (1992)
William R. Bevier, Jørgen F. Søgaard-Andersen
Mechanically Checked Proofs of Kernel Specification. CAV (1991)
William R. Bevier
Kit: A Study in Operating System Verification. IEEE Trans. Software Eng. 15 (11) (1989)
William R. Bevier, Warren A. Hunt Jr., J. Strother Moore, William D. Young
An Approach to Systems Verification. J. Autom. Reason. 5 (4) (1989)
William R. Bevier
Kit and the Short Stack. J. Autom. Reason. 5 (4) (1989)
William R. Bevier, Warren A. Hunt Jr., William D. Young
Toward Verified Execution Environments. IEEE Symposium on Security and Privacy (1987)