Abstract
The application area of security protocols raises several problems that are relevant to automated deduction. We describe in this note some of these challenges. © 2008 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
APA
Comon-Lundh, H. (2008). Challenges in the automated verification of security protocols. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5195 LNAI, pp. 396–409). Springer Verlag. https://doi.org/10.1007/978-3-540-71070-7_34
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free