Logic for Programming, Artificial Intelligence, and Reasoning

DOI10.1007/b106931zbMath1108.68455OpenAlexW4206255911MaRDI QIDQ5705935

Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106931

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25)

Related Items (4)

Formal analysis of PIN block attacks ⋮ Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete ⋮ Automated verification of selected equivalences for security protocols ⋮ A Calculus to Detect Guessing Attacks

This page was built for publication: Logic for Programming, Artificial Intelligence, and Reasoning