|
Search the dblp DataBase
William R. Bevier:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- William R. Bevier, Jørgen F. Søgaard-Andersen
Mechanically Checked Proofs of Kernel Specification. [Citation Graph (0, 0)][DBLP] CAV, 1991, pp:70-82 [Conf]
- William R. Bevier, Richard M. Cohen, William D. Young
Connection policies and controlled interference. [Citation Graph (0, 0)][DBLP] CSFW, 1995, pp:167-176 [Conf]
- William D. Young, William R. Bevier
A State-Based Approach to Non-Interference. [Citation Graph (0, 0)][DBLP] CSFW, 1994, pp:11-21 [Conf]
- William D. Young, William R. Bevier
Mathematical Modeling and Analysis of an External Memory Manager. [Citation Graph (0, 0)][DBLP] FME, 1997, pp:237-257 [Conf]
- Richard L. Ford, William R. Bevier, Richard T. Simon, Lawrence M. Smith
The Specification-Based Testing of a Trusted Kernel: MK++. [Citation Graph (0, 0)][DBLP] ICFEM, 1997, pp:151-160 [Conf]
- William R. Bevier, Warren A. Hunt Jr., William D. Young
Toward Verified Execution Environments. [Citation Graph (0, 0)][DBLP] IEEE Symposium on Security and Privacy, 1987, pp:106-115 [Conf]
- William R. Bevier, William D. Young
Machine Checked Proofs of the Design of a Fault-Tolerance Circuit. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1992, v:4, n:6A, pp:755-775 [Journal]
- William R. Bevier
Kit and the Short Stack. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1989, v:5, n:4, pp:519-530 [Journal]
- William R. Bevier, Warren A. Hunt Jr., J. Strother Moore, William D. Young
An Approach to Systems Verification. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1989, v:5, n:4, pp:411-428 [Journal]
- William R. Bevier, William D. Young
A State-Machine Approach to Non-Interference. [Citation Graph (0, 0)][DBLP] Journal of Computer Security, 1995, v:3, n:1, pp:55-70 [Journal]
- William R. Bevier
Kit: A Study in Operating System Verification. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1382-1396 [Journal]
Search in 0.001secs, Finished in 0.002secs
|