Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL - González-Burgueño, Antonio; Ölveczky, Peter Csaba (Journal of logical and algebraic methods in programming, 2021)
Keywords: 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