Sciweavers

4 search results - page 1 / 1
» sp 1987
Sort
View
134
Voted
SP
1987
IEEE
15 years 11 months ago
Reasoning About Security Models
John McLean
129
Voted
SP
1987
IEEE
15 years 11 months ago
Toward Verified Execution Environments
William R. Bevier, Warren A. Hunt Jr., William D. ...
SP
1987
IEEE
118views Security Privacy» more  SP 1987»
15 years 11 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