Modeling human behaviour with higher order logic: insider threats

Boender, Jaap and Ivanova, Marieta Georgieva and Kammueller, Florian and Primiero, Giuseppe (2014) Modeling human behaviour with higher order logic: insider threats. In: 4th Workshop on Socio-Technical Aspects in Security and Trust (STAST 2014), 18 Jul 2014, Vienna, Austria.

[img] PDF - UNSPECIFIED
Restricted to Repository staff and depositor only

Download (219kB)
Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 15149
Notes on copyright: Access to full text restricted pending copyright check.
Useful Links:
Depositing User: Giuseppe Primiero
Date Deposited: 23 Apr 2015 09:05
Last Modified: 07 Nov 2018 13:02
URI: http://eprints.mdx.ac.uk/id/eprint/15149

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year