Date 18-21 Apr 1988
Filter Results
Displaying Results 1 - 25 of 25
-
-
Proceedings of the 1988 IEEE Symposium on Security and Privacy (Cat. No.88CH2558-5)
|
PDF (60 KB)
-
The trusted path between SMITE and the user
|
PDF (600 KB)
-
-
Cascaded authentication
|
PDF (736 KB)
-
Concerning `modeling' of computer security
|
PDF (544 KB)
-
-
Reverification of a microprocessor
|
PDF (604 KB)
-
Security specifications
|
PDF (660 KB)
-
Views as the security objects in a multilevel secure relational database management system
|
PDF (1048 KB)
-
-
Extended discretionary access controls
|
PDF (912 KB)
-
-
-
-
ASDViews [relational databases]
|
PDF (708 KB)
-
-
-
-
-
-
The algebra of security
|
PDF (484 KB)
-
A formal specification and verification method for the prevention of denial of service
|
PDF (1280 KB)
-
The SeaView security model
|
PDF (1228 KB)
-
A secure distributed operating system
|
PDF (1132 KB)


