Browse by Journal
 | See full list of headings |
Jump to: K
Number of items: 1.
K
Kammueller, Florian 
ORCID: https://orcid.org/0000-0001-5839-5488, Probst, Christian and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713
(2012)
Application of verification techniques to security: model checking insider attacks.
In: 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, 28-29 Mar 2012, Venice, Italy.
.
[Conference or Workshop Item]
