MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Design and Verification of Secure Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Design and Verification Of Secure Systems
by John Rushby — 1981
…Design and Verication of Secure Systems Reprint of a paper presented at the 8th ACM Symposium…
Cited by 71 (11 self) – Add To MetaCart

Critical System Properties: Survey and Taxonomy
by John Rushby, Slr Lui Sha, John P. Lehoczky, Ragunathan Rajkumar Solutions — 1994
…. The design and verification of secure systems. In 8th ACM Symposium on Operating System Principles, pages 12…
Cited by 54 (2 self) – Add To MetaCart

Pertitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
by Dennis Volpano, Cynthia Irvine, Series In Engineering, Computer Science, Matthew M. Wilding, David S. Hardin, John Rushby — 1999
… and verification of secure systems. In Eighth ACM Symposium on Operating System Principles, pages 12--21, Asilomar…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB