Design and verification of secure systems
ACM SIGOPS Operating Systems Review, 1981 - dl.acm.org
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 proposed that secure systems …
systems and suggests new techniques for their resolution. It is proposed that secure systems …
Design and verification of secure systems
JM Rushby - Proceedings of the eighth ACM symposium on …, 1981 - dl.acm.org
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 proposed that secure systems …
systems and suggests new techniques for their resolution. It is proposed that secure systems …
[引用][C] DESIGN AND VERIFICATION OF SECURE SYSTEMS
JM RUSHBY - 1981 - pascal-francis.inist.fr
DESIGN AND VERIFICATION OF SECURE SYSTEMS CNRS Inist Pascal-Francis CNRS
Pascal and Francis Bibliographic Databases Simple search Advanced search Search by …
Pascal and Francis Bibliographic Databases Simple search Advanced search Search by …
[PDF][PDF] Design and Verification of Secure Systems
J Rushby - Citeseer
This paper reviews some of the di culties that arise in the veri cation of kernelized secure
systems and suggests new techniques for their resolution. It is proposed that secure systems …
systems and suggests new techniques for their resolution. It is proposed that secure systems …
[PDF][PDF] Design and Verification of Secure Systems
J Rushby - scholar.archive.org
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 proposed that secure systems …
systems and suggests new techniques for their resolution. It is proposed that secure systems …
[PDF][PDF] Design and Verification of Secure Systems
J Rushby - emerald-ids.net
This paper reviews some of the di culties that arise in the veri cation of kernelized secure
systems and suggests new techniques for their resolution. It is proposed that secure systems …
systems and suggests new techniques for their resolution. It is proposed that secure systems …
[PDF][PDF] Design and Verification of Secure Systems
J Rushby - csl.sri.com
This paper reviews some of the di culties that arise in the veri cation of kernelized secure
systems and suggests new techniques for their resolution. It is proposed that secure systems …
systems and suggests new techniques for their resolution. It is proposed that secure systems …
[PDF][PDF] Design and Verification of Secure Systems
J Rushby - resilinets.org
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 proposed that secure systems …
systems and suggests new techniques for their resolution. It is proposed that secure systems …
[PDF][PDF] Design and Verification of Secure Systems
J Rushby - cs.unc.edu
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 proposed that secure systems …
systems and suggests new techniques for their resolution. It is proposed that secure systems …
[PDF][PDF] DESIGN AND VERIFICATION OF SECURE SYSTEMS
JM Rushby - 1981 - sites.cs.ucsb.edu
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 proposed that secure systems …
systems and suggests new techniques for their resolution. It is proposed that secure systems …