Modeling human behaviour with higher order logic: insider threats
Conference paper
Boender, J., Ivanova, M., Kammueller, F. and Primiero, G. 2014. Modeling human behaviour with higher order logic: insider threats. 4th Workshop on Socio-Technical Aspects in Security and Trust (STAST 2014). Vienna, Austria 18 Jul 2014 Institute of Electrical and Electronics Engineers. pp. 31-39 https://doi.org/10.1109/STAST.2014.13
Type | Conference paper |
---|---|
Title | Modeling human behaviour with higher order logic: insider threats |
Authors | Boender, J., Ivanova, M., Kammueller, F. and Primiero, G. |
Research Group | Foundations of Computing group |
Conference | 4th Workshop on Socio-Technical Aspects in Security and Trust (STAST 2014) |
Page range | 31-39 |
ISBN | |
Hardcover | 9781479979011 |
Publisher | Institute of Electrical and Electronics Engineers |
Publication dates | |
Online | 11 Dec 2014 |
Publication process dates | |
Deposited | 23 Apr 2015 |
Output status | Published |
Copyright Statement | Access to full text restricted pending copyright check. |
Digital Object Identifier (DOI) | https://doi.org/10.1109/STAST.2014.13 |
Language | English |
Book title | 2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST) |
Permalink -
https://repository.mdx.ac.uk/item/8510v
Restricted files
File
Under embargo indefinitely
48
total views0
total downloads2
views this month0
downloads this month