On orderings in security models

DOI10.1007/978-3-030-91631-2_21zbMath1498.68057OpenAlexW4205660610MaRDI QIDQ2154022

Paul D. Rowe

Publication date: 13 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-91631-2_21

zbMATH Keywords

cryptographic protocolsattack treeslayered attestationsecurity orderings

Mathematics Subject Classification ID

Cryptography (94A60) Computer security (68M25)

Cites Work

• Unnamed Item
• On powerdomains and modality
• A Powerdomain Construction
• Semantics for Specialising Attack Trees based on Linear Logic
• The Consistency and Complexity of Multiplicative Additive System Virtual

This page was built for publication: On orderings in security models