Building reliable secure computing systems out of unreliable insecure components

Proceedings - Annual Computer Security Applications Conference, ACSAC

Volumn 2001-January, Issue , 2001, Pages 164-173

  Dobson, J E ^a   Randell, B ^a  

^a NONE

Author keywords

Communication system security; Computer security; Distributed computing; Fault tolerant systems; Hardware; Heart; Humans; Information security; Redundancy; Silicon

Indexed keywords

COMPUTER HARDWARE; DISTRIBUTED COMPUTER SYSTEMS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; HEART; REDUNDANCY; SECURITY OF DATA; SECURITY SYSTEMS; SILICON;

COMMUNICATION SYSTEM SECURITY; COMPUTING SYSTEM; DISTRIBUTED COMPUTING SYSTEMS; FAULT TOLERANT SYSTEMS; HIGH RELIABILITY; HUMANS; TOLERANCE CONCEPT; TRUSTED COMPUTING BASE;

NETWORK SECURITY;

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

References (19)

1. J.-C. Laprie, "Dependable Computing and Fault-Tolerance," in Digest of Papers FTCS-15, pp. 2-11, June 1985
2. B. Randell, "Recursively Structured Distributed Computing Systems," in Proc. 3rd Symp. Reliability in Distributed Software and Database Systems, pp.3-11, IEEE, October 1983
3. J. M. Rushby, "The Design and Verification of Secure Systems, in Proc. 8th ACM Symp. on Operating Systems Principles, Asilomar, CA (ACM Operating Systems Review, Vol 15, No.5), pp. 12-20, December 1981
4. D. H. Barnes and R. MacDonald, "A practical Distributed Secure system," in Proc. NEOS '85 (Networks and Electronic Office Systems), IERE, London, September 1985
5. B. Wood and D. H. Barnes, "A Practical Distributed Secure System," in Proc. Int. Conf. on System Security, pp. 49-60, Online, London, October 1985
6. J.M. Rushby and B. Randell, "A Distributed Secure System," Computer, vol.16, no.7, pp. 55-67, IEEE, July 1983. (Also: Technical Report 182, Computing Laboratory, University of Newcastle upon Tyne)
7. K. Thompson, "Reflections on Trusting Trust," Comm. ACM, vol.27, no.8, pp. 761-763, Aug.1984
8. Y. Deswarte, J-C. Fabre, J.-C. Laprie, and D. Powell, "A Saturation Network to Tolerate Faults and Intrusions," in Proc. 5th Symp. on Reliability in Distributed Software and Database Systems, pp.74-81, IEEE, January 1986
9. P. H. Melliar-Smith and B. Randell, "Software Reliability: The role of programmed exception handling," in Proc. of Conf. on Language Design for Reliable Software, Raleigh, NC (Sigplan Notices, Vol.12, No. 3), pp.95-100, March 1977
10. L. Chen and A. Avizienis, "N-Version programming: A Fault-Tolerance Approach to Reliability of Software Operation," Digest of Papers FTCS-8, pp. 3-9, Toulouse. June 1978
11. T. Anderson and P. A. Lee, Fault Tolerance: Principles and Practice, Prentice-Hall, 1981
12. K. N. Levitt, S.D. Crocker, and D. Craigen, "Introduction to VERkshop III," in Proc. VERkshop III-A Formal Verification Workshop, Pajaro Dunes, Watsonville, CA. (ACM Software Engineering Notes, Vol.10. No.4), pp. ii-iii, ACM, 18-21 February, 1985
13. M. V. Wilkes, "Past, Present and Future of the Computer Field," lEE Proc, vol. 131 , no.4, pp. 106-112, July 1984
14. J. K. Millen and C. H. Cerniglia, "Computer Security Models," Report MTR 9531, Mitre Corporation, September 1984
15. J. M. Foster, I. F. Currie, and P. W. Edwards, "Flex: A working computer with an architecture based on procedure values." Proc. International Workshop on High-Level Architecture, pp. 181-185, Fort Lauderdale, Florida, December 1982
16. S. K. Shrivastava, "A Dependency, Commitment and Recovery Model for Atomic Actions," in Proc. 2nd Symp. on Reliability in Dist. Software and Database Systems, pp.112-119, IEEE, Pittsburgh, July 1982
17. R. B. Neely and J. W. Freeman, "Structuring Systems for Formal Verification," in Proc. 1985 Symp. on Security and Privacy, pp.2-13, 1985
18. T. Anderson and R.W. Witty, "Safe programming," BIT, vol. 18, pp. 1-8, 1978
19. E. Sandewall, "An Approach to the Frame Problem and Its Implementation," in Machine Intelligence 7, ed. B. Meltzer and D. Michie. pp.195-204. Edinburgh University Press, 1972