Transducer-based analysis of cryptographic protocols

From MaRDI portal
Publication:2464141

DOI10.1016/j.ic.2007.08.003zbMath1132.68028OpenAlexW2005317419MaRDI QIDQ2464141

Thomas Wilke, Ralf Küsters

Publication date: 10 December 2007

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2007.08.003




Related Items



Cites Work