Sign in
Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies).
Luca Viganò
Published in:
COORDINATION (2022)
Keyphrases
</>
formal methods
socio technical
automated analysis
security properties
security requirements
security policies
formal specification
formal analysis
artificial intelligence
development lifecycle
databases
information systems
data model
open source
model checking