Sciweavers

4 search results - page 1 / 1
» sp 1987
Sort
View
SP
1987
IEEE
13 years 10 months ago
Toward Verified Execution Environments
William R. Bevier, Warren A. Hunt Jr., William D. ...
SP
1987
IEEE
118views Security Privacy» more  SP 1987»
13 years 10 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