Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
 
Arnold, Terry
Merdan Group
San Diego, California
  Follow this Reviewer
 
 
 
Options:
Date Reviewed  
 
1 review

   
  A Hookup Theorem for Multilevel Security
McCullough D.  IEEE Transactions on Software Engineering 16(6): 563-568, 1990. Type: Article

Some designers of multilevel secure systems have been assuming that given two systems that individually have the deducibility security property, their composition has this property. McCullough presents a counterexample to this conjecture and...

Apr 1 1991  
 
 
   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2013 ThinkLoud, Inc.
Terms of Use
| Privacy Policy