Towards an integrated conceptual model of security and dependability

Proceedings - First International Conference on Availability, Reliability and Security, ARES 2006

Volumn 2006, Issue , 2006, Pages 646-653

  Jonsson, Erland ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; DATA PRIVACY; MATHEMATICAL MODELS; METADATA; SYSTEMS ANALYSIS;

CONCEPTUAL MODEL; SECURITY/DEPENDABILITY; SYSTEM BOUNDARIES;

SECURITY OF DATA;

EID: 33750931041     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARES.2006.138     Document Type: Conference Paper

References (23)

1. E. N. Adams, "Optimizing preventive service of software products", IBM Journal of Research and Development, vol. 28, No. 1, pp. 2-14, 1984.
2. A. Avizienis, J-C. Laprie, B. Randell and C. Landwehr, "Basic Concepts and Taxonomy of Dependable and Secure Computing", IEEE Transactions on Dependable and Secure Computing, Vol.1, No.1, Jan-Mar 2004.
3. R. H. Baker, Computer Security Handbook, 2nd Edition, TAB Professional and Reference Books, McGraw-Hill Inc, ISBN 0-8306-7592-2, 1991.
4. Blakley, R., "The Emperor's old armor", New Security Paradigms Workshop, Lake Arrowhead, California, United States, 1996, Pages: 2 - 16, ISBN:0-89791-944-0
5. Common Criteria. ISO/IEC 15408-1, Information Technology - Security Techniques - Evaluation Criteria for IT Security, Part 1: Introduction and General Model, 1999.
6. McCullough, D., "Noninterference and the Composability of Security Properties," sp, p. 177, 1988 IEEE Symposium on Security and Privacy, 1988
7. Firesmith. D. G., "Common Concepts Underlying Safety, Security, and Survivability Engineering", Technical Note CMU/SEI-2003-TN-033, Carnegie-Mellon University, Pittsburg, USA.
8. Information Technology Security Evaluation Criteria (ITSEC): Provisional Harmonized Criteria, December 1993. ISBN 92-826-7024-4.
9. C. Irvine, T. Levin, "Toward a taxonomy and costing method for security services", Computer Security Applications Conference, 1999. (ACSAC '99) Proceedings. 15th Annual, 6-10 Dec. 1999 Page(s):183-188
10. S. Jones, M. Wilikens, P. Morris, M. Masera, "Trust Requirements in E-Business", Communications of the ACM, Vol. 43, No. 12, Dec 2000.
11. E. Jonsson, T. Olovsson, "On the Integration of Security and Dependability in Computer Systems", LASTED International Conference on Reliability, Quality Control and Risk Assessment in Washington, Nov. 4-6, 1992. ISBN 0-88986-171-4
12. E. Jonsson, "A Unified Approach to Dependability Impairments in Computer Systems", IASTED International Conference on Reliability, Quality Control and Risk Assessment, Cambridge, MA, Oct. 18-20 1993, ISBN 0-88986-181-1, pp. 173-178.
13. E. Jonsson, "An Integrated Framework for Security and Dependability". New Security Paradigms Workshop 1998, Charlottesville Sept. 22-25, VA, USA
14. E. Jonsson, L. Strömberg, S. Lindskog, "On the Functional Relation Between Security and Dependbility Impairments", ACM New Security Paradigms Workshop, Caledon Hills, Canada, 23-25 September 1999 (NSPW 1999)
15. J.C. Laprie et al., Dependability: Basic Concepts and Terminology, Springer-Verlag, ISBN 3-211-82296-8, 1992.
16. McLean, J., Security models and information flow-Proceedings., 1990 IEEE Computer Society Symposium on Research in Security and Privacy, 1990.7-9 May 1990 Page(s):180 - 187
17. MAFTIA - Malicious-and Accidental-Fault Tolerance for Internet Applications IST Research Project IST-1999-11583 1 January 2000 - 28 February 2003. http://www.maftia.org/ (accessed 2005-12-10)
18. C. Meadows, "An Outline of a Taxonomy of Computer Security Research and Development", 1993 ACM O-89791-635-2.
19. Meyer, J.F., "Performability: A Retrospective and Some Pointers to the Future", Performance Evaluation, Vol. 14, No. 3-4, p. 139-156, Elsevier, 1992.
20. Nicol, D.M.; Sanders, W.H.; Trivedi, K.S., "Model-based evaluation: from dependability to security", Dependable and Secure Computing, IEEE Transactions on Volume 1, Issue 1, Jan 2004 Page(s):48-65
21. Department of Defence, Trusted Computer System Evaluation Criteria ("orange book"), CSC-STD-001-83.
22. B.K. Daniels, "Errors, faults and failures: A model", in Safe and Secure Computing Systems, T. Anderson editor, Blackwell Scientific Publications 1989. ISBN 0-632-01819-4.
23. Zhang, K., "A theory for system security", Computer Security Foundations Workshop, 1997. Proceedings., 10-12 June 1997 Page(s):148-155