Work

Modelling Social-Technical Attacks with Timed Automata

Year: 2015

Type: conference-paper

Source: ACM CCS International Workshop on Managing Insider Security Threats (MIST)

DOI: 10.1145/2808783.2808787

Authors: Nicolas David, Alexandre David, Rene Rydhof Hansen, Kim G. Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst

Institutions: Laboratoire d'informatique de Nantes Atlantique, Université de Nantes, Nantes Université, Aalborg University, Institut national de recherche en sciences et technologies du numérique, Centre Inria de l'Université de Rennes, Technical University of Denmark

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2113589671

FWCI: 1.629

Cites: 13

Cited by: 20

Related to: 10