Date 5-9 Dec. 1994
Filter Results
Displaying Results 1 - 25 of 33
-
Tenth Annual Computer Security Applications Conference
|
PDF (51 KB)
-
-
-
Composing system integrity using I/O automata
|
PDF (580 KB)
-
A validated security policy modeling approach
|
PDF (1032 KB)
-
Applying the Abadi-Lamport composition theorem in real-world secure system integration environments
|
PDF (904 KB)
-
-
Performance analysis of a method for high level prevention of traffic analysis using measurements from a campus network
|
PDF (824 KB)
-
-
Automated detection of vulnerabilities in privileged programs by execution monitoring
|
PDF (888 KB)
-
Property-based testing of privileged programs
|
PDF (820 KB)
-
-
-
Where we stand in multilevel security (MLS): requirements, approaches, issues, and lessons learned
|
PDF (160 KB)
-
A prototype multilevel-secure DoD directory
|
PDF (684 KB)
-
Audit reduction and misuse detection in heterogeneous environments: framework and application
|
PDF (768 KB)
-
-
-
-
-
-
The design of an audit trail analysis tool
|
PDF (516 KB)
-
-
-


