Foundations of Software Science and Computation Structures
From MaRDI portal
Publication:5899102
DOI10.1007/11690634zbMath1180.94044OpenAlexW2504714231MaRDI QIDQ5899102
Martín Abadi, Mathieu Baudet, Bogdan Warinschi
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11690634
Related Items
Model Checking Security Protocols, Decidability and combination results for two notions of knowledge in security protocols, Composition of password-based protocols, Sound and complete computational interpretation of symbolic hashes in the standard model, A survey of symbolic methods in computational analysis of cryptographic systems, Computationally sound implementations of equational theories against passive adversaries, Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols, YAPA: A Generic Tool for Computing Intruder Knowledge, A Calculus to Detect Guessing Attacks