LOCK: An historical perspective

Proceedings - Annual Computer Security Applications Conference, ACSAC

Volumn 2002-January, Issue , 2002, Pages 96-108

  Saydjari, O Sami ^a  

^a Cyber Defense Agency LLC   (United States)

Author keywords

Computer graphics; Computerized monitoring; Cryptography; Data security; Electrical capacitance tomography; Information security; Operating systems; Reactive power; Read only memory; Testing

Indexed keywords

COMPUTER GRAPHICS; COMPUTER HARDWARE; CRYPTOGRAPHY; ELECTRIC IMPEDANCE TOMOGRAPHY; HARDWARE; LOCKS (FASTENERS); REACTIVE POWER; ROM; SECURITY OF DATA; SECURITY SYSTEMS; SPECIFICATIONS; TESTING;

ELECTRICAL CAPACITANCE TOMOGRAPHY; GRAPHIC SERVICES; HARDWARE-BASED APPROACH; HISTORICAL PERSPECTIVE; INTEGRATED INFORMATIONS; SYSTEM INTEGRATION; VERIFICATION TOOLS;

COMPUTER OPERATING SYSTEMS;

EID: 33646135583     PISSN: 10639527     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSAC.2002.1176283     Document Type: Conference Paper

References (22)

1. Saydjari, O. Sami, Joseph M. Beckman, Jeffrey R. Leaman, "LOCKing Computers Securely", 10th Proceedings of the National Computer Security Conference, Ott 1987, pp. 129-141
2. Boebert, W. E., "The LOCK Demonstration", Proceedings of the 11th National Computer Security Conference, LOCK Supplement, Ott 1988
3. Neumann, P. G., et al, "A Provably Secure Operating System The System, Its Applica-tions, and Proof s," Computer Science Labora-tory Report CSL-1 16, SRI International, Menlo Park, CA, 7 May 1980
4. Ford Aerospace and Communications Corporation. "Provably Secure Operating System (PSOS) Final Report." Contract MDA904-80-C-0470. June 1981
5. Kemmerer, R., McHugh, J., Haigh, J. T., Young, W. D., "An Experience Using Two Covert Channel Analysis Techniques on a Real System Design." Proceedings of the 1986 Symposium on Security and Privacy, IEEE, April 1986
6. Boebert, W. E., Kain, R.Y. and Young, W.D., "Secure Computing: The Secure Ada Target Approach", Scientific Honeyweller, June 1985
7. Saltzer, J. D., and Schroeder, M. D., "The Protection of Information in Computer Systems", Proceedings of the IEEE, Vol 63 No 9, March 1975, pp. 1278-1308
8. Boebert, W. E., and C. T. Ferguson. "A Partial Solution to the Discretionary Trojan Horse Problem." Proceedings of the 8th National Computer Security Conference. Oct. 1985
9. Ferguson, Chuck, and C. B. Murphy. "A Proposed Policy for Dynamic Security Lattice Management." Proceedings of the 9th National Computer Security Conference (Addendum). Sept 1986
10. Boebert, W. E., "A Practical Alternative to Hierarchical Integrity Policies", Proceedings of the 8th National Computer Security Confer-ence, pp. 18-27, 30 Sept-3 Ott 1985
11. W. E. Boebert, "On the Inability of an Unmodified Capability Machine to Enforce the ∗-Property", 7th Proceedings of the DoD/NBS Computer Security Conference, Sept 24-26 1984, pp. 291-293
12. Kain, R. Y., and Landwehr, C. E., "On Access Cheeking in Capability-Based Systems; IEEE Transactions on Software Engineering, Vol. SE-13, No. 2, Feb 1987, p. 202
13. Fabry, R. S., "Capability-Based Addressing", Communications of the ACM, July 1974, Vol. 17, No. 7
14. Chen, Thomas M., "SAT Design Overview." Mitre Bedford Working Paper #25867 under contract F19628-84-C-0001, December 18, 1984
15. Young, William D. et al., "A Verified Labeler for the Secure Ada Target," Proceedings of the 9th National Computer Security Conference, Sep. 1986
16. McHugh, John, "An Emacs-Based Downgrader for the SAT," Proceedings of the 8th National Computer Security Conference, Oct. 1985
17. DeMillo, R. A., Lipton, R. J., Perlis, A. J., "SociaI Processes and Proofs of Theorems and Programs,", Communications of the ACM, Vol 22, No 5, May 1979, p. 271
18. Haigh, Tom, and W. D. Young. "Extending the Non-interference Version of MLS for SAT." Proceedings of the 1986 Symposium on Security and Privacy. IEEE, April 1986
19. Sutton, Steve, "Can Unix Be Trusted?", /usr/group Communications, September/Oct-ober 1987
20. Grampp, F. T., and Morris, R. H., "Unix Opera-ting System Security", AT&T Bell Laboratories Technical Journal, Vol. 63, No. 8, Part 2, October 1984, pp. 1649-1672
21. Schaffer, Mark A., and Walsh, Geoff, "LOCK/ix: On Implementing Unix On The LOCK TCB", 11th Proceeding of the National Computer Security Conference, October 1988
22. Saydjari, O. Sami, Joseph Beckman, and Jeffrey Leaman, "LOCK Trek", Proceedings of the IEEE Security and Privacy Conference, April 1987