Threat scenarios as a means to formally develop secure systems

DOI10.1007/3-540-61770-1_40MaRDI QIDQ5096418zbMATH OpenOpenAlexFDO

Authors 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 analysisformal methodssecurityauthentication 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)

Recommendations

• scientific article; zbMATH DE number 1497866
• Secure Systems Development with UML
• Analysis of security protocols as open systems
• scientific article; zbMATH DE number 1693520
• Trustworthy Global Computing

Cites work

• scientific article; zbMATH DE number 45145 (Why is no real title available?)
• A logic of authentication
• Non-interference through determinism
• The NRL Protocol Analyzer: An Overview

Cited in

(3)

• Modeling and Using Context
• scientific article; zbMATH DE number 2080185 (Why is no real title available?)
• Formal modelling and analysis of socio-technical systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096418)