Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL

DOI10.1016/J.JLAMP.2021.100685OpenAlexW4256145030MaRDI QIDQ1979966

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

Publication date: 3 September 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100685

zbMATH Keywords

formal methodssecurity protocolsactor-network proceduresauthentication devicesprocedure derivation logicsecurity ceremonies

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Logics for actor networks: a case study in constrained hybridization
• Time, clocks, and the ordering of events in a distributed system

Uses Software

• Maude

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 Q1979966)