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

• Published in: Journal of logical and algebraic methods in programming Vol. 122; p. 100685
• Main Authors: González-Burgueño, Antonio, Ölveczky, Peter Csaba
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.08.2021
• Subjects: Actor-network procedures; Authentication devices; Formal methods; Procedure derivation logic; Security ceremonies; Security protocols; Procedure derivation logic; Security ceremonies; Security protocols; Formal methods; Actor-network procedures; Authentication devices

In today's security protocols (also called “security ceremonies” when humans play a key role), different nodes may have different capabilities: computers can encrypt and decrypt messages, whereas humans cannot; a biometric device can capture biometric information, whereas a random number genera...