Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Jump to: K
Number of items: 1.


Kammueller, Florian ORCID logoORCID:, Probst, Christian and Raimondi, Franco ORCID logoORCID: (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]

This list was generated on Thu Jun 1 04:44:42 2023 BST.