Automata, Languages and Programming
From MaRDI portal
Publication:5716817
DOI10.1007/11523468zbMath1084.94509OpenAlexW2940595899WikidataQ56656999 ScholiaQ56656999MaRDI QIDQ5716817
Martín Abadi, Bogdan Warinschi
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11523468
Related Items (3)
Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings ⋮ A survey of symbolic methods in computational analysis of cryptographic systems ⋮ Computationally sound implementations of equational theories against passive adversaries
This page was built for publication: Automata, Languages and Programming