Qualitative and Quantitative Analysis of Security in Safety and Reliability Critical Systems

  • Rune Winther


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.


Intrusion Detection System Security Threat Differential Global Position System Differential Global Position System Security Aspect 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aven T. Foundations of Risk Analysis. John Wiley, 2003.Google Scholar
  2. 2.
    David R. and Alla H. Petri Nets for Modelling of Dynamic Systems — A Survey. Automatica, Vol. 30, No. 2, 1994. pp 175–202.CrossRefMATHMathSciNetGoogle Scholar
  3. 3.
    Houmb S. Stochastic Models and Mobile E-Commerce. M.Sc. thesis, Østfold University College. 2002.Google Scholar
  4. 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. 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. 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. 7.
    Storey N. Safety Critical Computer Systems. Addison-Wesley. 1996.Google Scholar
  8. 8.
    Wang D., Madan B.B., Trivedi K.S. Modeling SITAR System Security. ISSRE, Fast abstracts. 2003.Google Scholar
  9. 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

Copyright information

© Springer-Verlag London 2004

Authors and Affiliations

  • Rune Winther
    • 1
  1. 1.Faculty of Computer SciencesØstfold University CollegeHaldenNorway

Personalised recommendations