Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis

DOI10.1007/978-3-642-38574-2_16zbMath1381.68264OpenAlexW40499433WikidataQ118190377 ScholiaQ118190377MaRDI QIDQ4928441

Sonia Santiago, Zhi-Qiang Liu, Santiago Escobar, Serdar Erbatur, Ralf Sasse, Christopher Lynch, Deepak Kapur, Paliath Narendran, José Meseguer, Catherine A. Meadows

Publication date: 14 June 2013

Published in: Automated Deduction – CADE-24 (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10251/71830

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later, An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis, Local XOR unification: definitions, algorithms and application to cryptography, Variant-Based Satisfiability in Initial Algebras

Uses Software

• ChC 3