Distributed secure systems: Then and now

Proceedings - Annual Computer Security Applications Conference, ACSAC

Volumn , Issue , 2007, Pages 177-198

  Randell, Brian ^a   Rushby, John ^b  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER APPLICATIONS; COMPUTER SOFTWARE; CRYPTOGRAPHY; DATA STORAGE EQUIPMENT; DECISION SUPPORT SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; ELECTRIC CURRENTS; HIERARCHICAL SYSTEMS; MIDDLEWARE; SECURITY OF DATA; SECURITY SYSTEMS; SEPARATION; STANDARDS; UNIX;

COMPUTER SECURITY APPLICATIONS; DESIGN FREEDOM; DISTRIBUTED COMPUTING; DISTRIBUTED SYSTEMS; FILE SYSTEMS; MULTI PROCESSORS; POLICY ENFORCEMENT; REMOTE PROCEDURE CALLS; RESOURCE SHARING; SECURE SYSTEMS; SEPARATION KERNELS;

COMPUTER SYSTEMS;

EID: 48649091670     PISSN: 10639527     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSAC.2007.48     Document Type: Conference Paper

References (23)

1. J. Alves-Foss, P.W. Oman, C. Taylor and W.S. Harrison, "The MILS architecture for high-assurance embedded systems," International Journal of Embedded Systems, vol. 2, no. 3/4, pp.239-247, 2006.
2. J. Alves-Foss, C. Taylor and P. Oman. "A Multi-Layered Approach to Security in High Assurance Systems," in Proceedings of the 37th Annual Hawaii International Conference on System Sciences, Waikola, HI, IEEE Computer Society, 2004.
3. T. Anderson and P.A. Lee. Fault Tolerance: Principles and practice, Prentice Hall, 1981.
4. D.H. Barnes. "The Provision of Security for User Data on Packet Switched Networks," in Proc. 1983 Symp. on Security and Privacy, pp.121-126, Oakland, CA, IEEE Computer Society Press, 1983.
5. D.H. Barnes and R. MacDonald, "A Practical Distributed Secure System," J. Institution of Electronic and Radio Engineers, vol. 56, no. 5, pp.192-196, 1986.
6. A.S. Bates. "Distributed Secure Systems," in Proc. DECUS 91, University of Warwick, UK, 1991.
7. D.R. Brownbridge, L.F. Marshall and B. Randell, "The Newcastle Connection, or - UNIXes of the World Unite!," Software Practice and Experience, vol. 12, no. 12, pp.1147-1162, 1982.
8. J.E. Dobson and B. Randell. "Building Reliable Secure Systems out of Unreliable Insecure Components," in Proc. Conf. on Security and Privacy, Oakland, IEEE Computer Society Press, 1986.
9. DoD. Department of Defense Trusted Computer System Evaluation Criteria, DOD 5200.28.STD (supersedes CSC-STD-001-83), Department of Defense, Washington, DC, USA, 1985. [(US Government Printing Office Number 008-000-00461-7)]
10. W. Martin, P. White, F.S. Taylor and A. Goldberg. "Formal Construction of the Mathematically Analyzed Separation Kernel," in Proc. 15th IEEE international conference on Automated software engineering, pp.133-142, Washington, DC, USA, IEEE Computer Society, 2000. [ISBN:0-7695-0710-7]
11. P. Naur and B. Randell, (Ed.). Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7th to 11th October 1968, Brussels, Scientific Affairs Division, NATO, 1969, 231 p.
12. B. Randell. "Recursively Structured Distributed Computer Systems," in Proc. 3rd Symp. on Reliability on Distributed Software and Database Systems, pp. 3-11, Clearwater Beach, Florida, IEEE Computer Society Press, 1983.
13. J.M. Rushby. "The Design and Verification of Secure Systems," in Proc. Symp. on Operating System Principles (SOSP-8), pp.12-21, ACM, 1981. [ACM Operating Systems Review, Vol. 15, No. 5]
14. J.M. Rushby. "Proof of Separability - A Verification Technique for a Class of Security Kernels," in Proc. 5th International Symposium on Programming, pp.352-367, Turin, Italy, Springer Verlag LNCS Vol. 137, 1982.
15. J.M. Rushby. "Networks are Systems," in Proc. Department of Defense Computer Security Center Invitational Workshop on Network Security, pp.7.24-7.37, New Orleans, LA, Department of Defense Computer Security Center, 1985. [Reprinted Abrams & Podell, pp. 300-316]
16. J.M. Rushby. "Just-in-Time Certification," in Proc. 12th IEEE International Conference on the Engineering of Complex Computer Systems (ICECCS), pp.15-24, Auckland, New Zealand, IEEE CS, 2007.
17. J.M. Rushby and B. Randell, "A Distributed Secure System," IEEE Computer, vol. 16, no. 7, pp.55-67, 1983.
18. J.M. Rushby and B. Randell. A Distributed Secure System, TR 182, Computing Laboratory, University of Newcastle upon Tyne, 1983.
19. J.M. Rushby and B. Randell. "A Distributed Secure System (Extended Abstract)," in Proc. 1983 Symp. on Security and Privacy, pp.127-135, Oakland, CA, IEEE, 1983.
20. R. Schell. "Information Security: Science, Pseudoscience, and Flying Pigs," in Proc. 17th Computer Security Applications Conference (ACSAC), pp.205-216, New Orleans, LA, Dec 2001.
21. Validated Protection Profile - U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness (Version 1.03), NSA, National Information Assurance Partnership, Information Assurance Directorate, 29 June 2007.
22. W.M. Vanfleet, J.A. Luke, R.W. Beckwith, C. Taylor, B. Calloni and G. Uchenick, "MILS: Architecture for High-Assurance Embedded Computing," Crosstalk: The Journal of Defense Software Engineering, Aug 2005.
23. J. Wood and N. O'Connor. Distributed Secure System Phase 2 Insertion Trials Final Report, Report W041037, Defence Research Agency, 1944.