William R. Bevier

According to our database, William R. Bevier authored at least 11 papers between 1987 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

The Specification-Based Testing of a Trusted Kernel: MK++.

Richard L. Ford, William R. Bevier, Richard T. Simon, Lawrence M. Smith

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Mathematical Modeling and Analysis of an External Memory Manager.

William D. Young, William R. Bevier

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1995

A State-Machine Approach to Non-Interference.

William R. Bevier, William D. Young

J. Comput. Secur., 1995

Connection policies and controlled interference.

William R. Bevier, Richard M. Cohen, William D. Young

Proceedings of the Eighth IEEE Computer Security Foundations Workshop (CSFW '95), 1995

1994

A State-Based Approach to Non-Interference.

William D. Young, William R. Bevier

Proceedings of the Seventh IEEE Computer Security Foundations Workshop, 1994

1992

Machine Checked Proofs of the Design of a Fault-Tolerance Circuit.

William R. Bevier, William D. Young

Formal Aspects Comput., 1992

1991

Mechanically Checked Proofs of Kernel Specification.

William R. Bevier, Jørgen F. Søgaard-Andersen

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989

Kit: A Study in Operating System Verification.

William R. Bevier

IEEE Trans. Software Eng., 1989

An Approach to Systems Verification.

William R. Bevier, Warren A. Hunt Jr., J Strother Moore, William D. Young

J. Autom. Reason., 1989

Kit and the Short Stack.

William R. Bevier

J. Autom. Reason., 1989

1987

Toward Verified Execution Environments.

William R. Bevier, Warren A. Hunt Jr., William D. Young

Proceedings of the 1987 IEEE Symposium on Security and Privacy, 1987