Computing knowledge in security protocols under convergent equational theories

DOI10.1007/s10817-010-9197-7zbMath1242.68098OpenAlexW2057936571MaRDI QIDQ437033

Stéphanie Delaune, Ştefan Ciobâcă, Steve Kremer

Publication date: 17 July 2012

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-010-9197-7

zbMATH Keywords

formal methodssecurity protocolsstatic equivalence

Mathematics Subject Classification ID

Related Items (7)

Unnamed Item ⋮ Computing knowledge in equational extensions of subterm convergent theories ⋮ A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols ⋮ Computing Knowledge in Security Protocols under Convergent Equational Theories ⋮ Automated Verification of Equivalence Properties of Cryptographic Protocols ⋮ Probability timed automata for investigating communication processes ⋮ Terminating non-disjoint combined unification

Uses Software

• YAPA
• AVISPA

Cites Work

• Unnamed Item
• Unnamed Item
• Deciding knowledge in security protocols under equational theories
• Intruder deduction for the equational theory of abelian groups with distributive encryption
• Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
• Automated verification of selected equivalences for security protocols
• Deciding knowledge in security protocols under some e-voting theories
• Deciding Knowledge in Security Protocols for Monoidal Equational Theories
• Combining Algorithms for Deciding Knowledge in Security Protocols
• Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster
• YAPA: A Generic Tool for Computing Intruder Knowledge
• Mobile values, new names, and secure communication
• Computing Knowledge in Security Protocols under Convergent Equational Theories
• Programming Languages and Systems
• Intruders with Caps
• Key Substitution in the Symbolic Analysis of Cryptographic Protocols
• Computer Aided Verification

This page was built for publication: Computing knowledge in security protocols under convergent equational theories