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: 16 Jun 2021 18:59
URI: https://eprints.mdx.ac.uk/id/eprint/15149

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
3Downloads
397Hits

Additional statistics are available via IRStats2.