4 works on record
Insider threats in cyber security
Graphical Models for Security
Semantics, Logics, and Calculi
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java