Sciweavers

26

SP
1987
IEEE

44views Security Privacy» more SP 1987»

Reasoning About Security Models

14 years 4 months ago

Reasoning About Security Models

Download www.cs.purdue.edu

John McLean

claim paper

Read More »

28

SP
1987
IEEE

59views Security Privacy» more SP 1987»

Visa Scheme for Inter-Organization Network Security

14 years 4 months ago

Visa Scheme for Inter-Organization Network Security

Download research.cens.ucla.edu

Deborah Estrin, Gene Tsudik

claim paper

Read More »

27

SP
1987
IEEE

48views Security Privacy» more SP 1987»

Toward Verified Execution Environments

14 years 4 months ago

Toward Verified Execution Environments

Download www.cs.utexas.edu

William R. Bevier, Warren A. Hunt Jr., William D. ...

claim paper

Read More »

37

SP
1987
IEEE

118views Security Privacy» more SP 1987»

A Comparison of Commercial and Military Computer Security Policies

14 years 4 months ago

A Comparison of Commercial and Military Computer Security Policies

Download crypto.stanford.edu

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

claim paper

Read More »