Login / Signup
Security Analysis: From Model to System Analysis.
Bastien Drouot
Valery Monthe
Sylvain Guérin
Joël Champeau
Published in:
CRiSIS (2022)
Keyphrases
</>
security analysis
formal model
security model