Searching for "Proving Multilevel Security of a System Design." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

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
…. Feiertag, K. N. Levitt, and L. Robinson. Proving multilevel security of a system design. In Sixth ACM…
Add To MetaCart

Showing 1 through 1.

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