Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis
From MaRDI portal
Publication:4928441
DOI10.1007/978-3-642-38574-2_16zbMath1381.68264WikidataQ118190377 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
Related Items
Variant-Based Satisfiability in Initial Algebras, An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis, Local XOR unification: definitions, algorithms and application to cryptography, Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later
Uses Software