Searching for "Extending the Noninterference Version of MLS for SAT." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Critical System Properties: Survey and Taxonomy
by John Rushby, Slr Lui Sha, John P. Lehoczky, Ragunathan Rajkumar Solutions — 1994
… the noninterference version of MLS for SAT. IEEE Transactions on Software Engineering, SE-13(2):141--150, February…
Cited by 55 (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
…--98. [37] J. Thomas Haigh and William D. Young. Extending the noninterference version of MLS for SAT. IEEE…
Add To MetaCart

Showing 1 through 2.

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