Isabelle Modelchecking for Insider Threats.

Florian Kammüller

Published in: DPM/QASA@ESORICS (2016)

Keyphrases

insider threat
theorem prover
insider attacks
countermeasures
email
security architecture
computer security
information security
natural deduction
cyber security
security vulnerabilities
sensitive data
security risks
cyber attacks
malicious attacks
social networks
database systems