Design and Verification Of Secure Systems (1981)
by
John Rushby
| Citations: | 104 - 13 self |
BibTeX
@MISC{Rushby81designand,
author = {John Rushby},
title = {Design and Verification Of Secure Systems},
year = {1981}
}
Years of Citing Articles
OpenURL
Abstract
This paper reviews some of the difficulties that arise in the verification of kernelized secure systems and suggests new techniques for their resolution. It is







