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

Browse the full CCS paper archive.