Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies).

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