Sciweavers

4 search results - page 1 / 1
» sp 1987
Sort
View
SP
1987
IEEE
14 years 1 months ago
Toward Verified Execution Environments
William R. Bevier, Warren A. Hunt Jr., William D. ...
SP
1987
IEEE
118views Security Privacy» more  SP 1987»
14 years 1 months ago
A Comparison of Commercial and Military Computer Security Policies
Most discussions of computer security focus on control of disclosure. In Particular, the U.S. Department of Defense has developed a set of criteria for computer mechanisms to prov...
D. D. Clark, D. R. Wilson