Threat scenarios as a means to formally develop secure systems

DOI10.1007/3-540-61770-1_40zbMATH Open1493.68045OpenAlexW2948544421MaRDI QIDQ5096418FDOQ5096418

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

Recommendations

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

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)

Cites Work

• The NRL Protocol Analyzer: An Overview
• A logic of authentication
• Non-interference through determinism
• Title not available (Why is that?)

Cited In (2)

• Modeling and Using Context
• Title not available (Why is that?)

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)