Qualitative and Quantitative Analysis of Security in Safety and Reliability Critical Systems
This paper addresses the necessity of including security aspects when assessing reliability and safety of critical systems. The integration of security in qualitative analysis is demonstrated and the possibility of probabilistically modelling security is discussed. Methods of particular interest are HAZOPs and Petri-nets.
KeywordsIntrusion Detection System Security Threat Differential Global Position System Differential Global Position System Security Aspect
Unable to display preview. Download preview PDF.
- 1.Aven T. Foundations of Risk Analysis. John Wiley, 2003.Google Scholar
- 3.Houmb S. Stochastic Models and Mobile E-Commerce. M.Sc. thesis, Østfold University College. 2002.Google Scholar
- 4.Littlewood B., Brocklehurst S., Fenton N., Mellor N., Page S., Wright D., Dobson J., McDermid J. and Gollman D. Towards Operational Measures of Computer Security. Journal of Computer Security, vol. 2(3), pp. 211–229, 1993.Google Scholar
- 5.Madan B.B., Goseva-Popstojanova K., Vaidyanathan K. and Trivedi K.S. Modelling and Quantification of Security Attributes of Software Systems. International Conference on Dependable Systems and Networks (DSN’02).Google Scholar
- 6.Ortalo R., Deswarte Y. and Kaaniche M. Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security. IEEE Trans, on Software Engineering. Vol. 25, No. 5, SeptemberIOctober 1999.Google Scholar
- 7.Storey N. Safety Critical Computer Systems. Addison-Wesley. 1996.Google Scholar
- 8.Wang D., Madan B.B., Trivedi K.S. Modeling SITAR System Security. ISSRE, Fast abstracts. 2003.Google Scholar
- 9.Winther R, Johnsen O.A. and Gran B.A. Security Assessments of Safety Critical Systems Using HAZOPs. SAFECOMP 2001 proceedings, Springer. 2001.Google Scholar