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
Number of items: 1.

Conference or Workshop Item

Kammueller, Florian ORCID logoORCID: https://orcid.org/0000-0001-5839-5488, Probst, Christian and Raimondi, Franco ORCID logoORCID: 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]

This list was generated on Sun Nov 27 04:46:09 2022 GMT.