Modeling Human Behaviour with Higher Order Logic: Insider Threats - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jaap Boender, Marieta Georgieva Ivanova, Florian Kammüller, Giuseppe Primiero. Modeling Human Behaviour with Higher Order Logic: Insider Threats. In Giampaolo Bella, Gabriele Lenzini, editors, 2014 Workshop on Socio-Technical Aspects in Security and Trust, STAST 2014, Vienna, Austria, July 18, 2014. pages 31-39, IEEE Computer Society, 2014. [doi]

This author has not been identified. Look up 'Jaap Boender' in GoogleThis author has not been identified. Look up 'Marieta Georgieva Ivanova' in GoogleThis author has not been identified. Look up 'Florian Kammüller' in GoogleThis author has not been identified. Look up 'Giuseppe Primiero' in Google

runs on WebDSL