Application of verification techniques to security: model checking insider attacks
Conference paper
Kammueller, F., Probst, C. and Raimondi, F. 2012. Application of verification techniques to security: model checking insider attacks. 1st International Conference on Software and Emerging Technologies for Education, Culture, Entertainment, and Commerce (SETECEC 2012): New Directions in Multimedia Mobile Computing, Social Networks, Human-Computer Interaction and Communicability. Venice, Italy 28 - 29 Mar 2012 Blue Herons editions.
Type | Conference paper |
---|---|
Title | Application of verification techniques to security: model checking insider attacks |
Authors | Kammueller, F., Probst, C. and Raimondi, F. |
Abstract | In this paper, we give a short overview over the state of the art of formal verification techniques to the engineering of safe and secure systems. The main focus is on the support of security of real-world systems with mechanized verification techniques, in particular, model checking. Based on our prior experience with safety analysis – in particular the TWIN elevator (ThyssenKrupp) case study – the current case study ventures into the rising field of of social engineering attacks on security. This main focus and original contribution of this paper considers the security analysis of an insider attack illustrating the benefits of model checking with belief logics and actor system modeling. |
Research Group | Artificial Intelligence group |
Foundations of Computing group | |
Research Group on Development of Intelligent Environments | |
SensoLab group | |
Conference | 1st International Conference on Software and Emerging Technologies for Education, Culture, Entertainment, and Commerce (SETECEC 2012): New Directions in Multimedia Mobile Computing, Social Networks, Human-Computer Interaction and Communicability |
Proceedings Title | Software and Emerging Technologies for Education, Culture, Entertainment and commerce |
Publisher | Blue Herons editions |
Publication process dates | |
Deposited | 25 May 2012 |
Output status | Published |
Web address (URL) | http://www.alaipo.com/setecec/conference_setecec_2012.html |
Language | English |
https://repository.mdx.ac.uk/item/83q3x
80
total views0
total downloads1
views this month0
downloads this month