Threat scenarios as a means to formally develop secure systems

DOI10.1007/3-540-61770-1_40zbMath1493.68045OpenAlexW2948544421MaRDI QIDQ5096418

Volkmar Lotz

Publication date: 16 August 2022

Published in: Computer Security — ESORICS 96 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61770-1_40

zbMATH Keywords

risk analysissecurityformal methodsauthentication protocolsstream processing functionsthreat identification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62) Computer security (68M25)

Cites Work

• Unnamed Item
• Non-interference through determinism
• The NRL Protocol Analyzer: An Overview
• A logic of authentication

This page was built for publication: Threat scenarios as a means to formally develop secure systems