Combining Algorithms for Deciding Knowledge in Security Protocols
From MaRDI portal
Publication:3525004
DOI10.1007/978-3-540-74621-8_7zbMath1148.68361MaRDI QIDQ3525004
Véronique Cortier, Stéphanie Delaune, Mathilde Arnaud
Publication date: 16 September 2008
Published in: Frontiers of Combining Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74621-8_7
68P25: Data encryption (aspects in computer science)
03B25: Decidability of theories and sets of sentences
Related Items
A Proof Theoretic Analysis of Intruder Theories, Reducing equational theories for the decision of static equivalence, Computing knowledge in security protocols under convergent equational theories, Compiling and securing cryptographic protocols, Deciding knowledge in security protocols under some e-voting theories, Deciding Knowledge in Security Protocols for Monoidal Equational Theories, Challenges in the Automated Verification of Security Protocols