Modeling human behaviour with higher order logic: insider threats

Boender, Jaap, Ivanova, Marieta Georgieva, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Primiero, Giuseppe (2014) Modeling human behaviour with higher order logic: insider threats. 2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST). In: 4th Workshop on Socio-Technical Aspects in Security and Trust (STAST 2014), 18 Jul 2014, Vienna, Austria. ISBN 9781479979011. [Conference or Workshop Item] (doi:10.1109/STAST.2014.13)

[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: 04 Apr 2019 14:08
URI: https://eprints.mdx.ac.uk/id/eprint/15149

Actions (login required)

View Item View 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