Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL

DOI10.1007/978-3-030-31517-7_9MaRDI QIDQ6488950zbMATH OpenFDO

Authors Antonio González-Burgueño, Peter Csaba Ölveczky

Publication date 14 March 2024

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62) Computer security (68M25)

Recommendations

• Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL
• Analyzing security protocols with secrecy types and logic programs
• Analyzing security protocols with secrecy types and logic programs
• CSP and anonymity
• Analysis of security protocols as open systems

This page was built for publication: Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL

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