Formal Methods for Assuring Security of Protocols
From MaRDI portal
Publication:4328967
DOI10.1093/comjnl/45.1.46zbMath1008.68011WikidataQ115000231 ScholiaQ115000231MaRDI QIDQ4328967
Publication date: 29 April 2002
Published in: The Computer Journal (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/71383e486c0c8ca7cca94f2d837c3b85dda7d20e
Uses Software