Programming Languages and Systems
From MaRDI portal
Publication:5308708
DOI10.1007/b96702zbMath1126.68382MaRDI QIDQ5308708
Martín Abadi, Cédric Fournet, Bruno Blanchet
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96702
68P25: Data encryption (aspects in computer science)
68M12: Network protocols
94A62: Authentication, digital signatures and secret sharing
Related Items
A pure labeled transition semantics for the applied pi calculus, Symbolic protocol analysis in the union of disjoint intruder theories: combining decision procedures, Automated verification of selected equivalences for security protocols