Anika Behrens. What are Security Patterns?: A Formal Model for Security and Design of Software. In Sebastian Doerr, Mathias Fischer, Sebastian Schrittwieser, Dominik Herrmann, editors, Proceedings of the 13th International Conference on Availability, Reliability and Security, ARES 2018, Hamburg, Germany, August 27-30, 2018. pages 35, ACM, 2018. [doi]
Abstract is missing.