Modelling Social-Technical Attacks with Timed Automata

Nicolas David, Alexandre David, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst. Modelling Social-Technical Attacks with Timed Automata. In Elisa Bertino, Ilsun You, editors, Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, MIST 2015, Denver, Colorado, USA, October 16, 2015. pages 21-28, ACM, 2015. [doi]

Abstract

Abstract is missing.