Sciweavers

4 search results - page 1 / 1
» sp 1987
Sort
View
115
Voted
SP
1987
IEEE
15 years 10 months ago
Reasoning About Security Models
John McLean
118
Voted
SP
1987
IEEE
15 years 10 months ago
Visa Scheme for Inter-Organization Network Security
Deborah Estrin, Gene Tsudik
113
Voted
SP
1987
IEEE
15 years 10 months ago
Toward Verified Execution Environments
William R. Bevier, Warren A. Hunt Jr., William D. ...
182
Voted
SP
1987
IEEE
118views Security Privacy» more  SP 1987»
15 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