Dolev-Yao theory with associative blindpair operators

DOI10.1007/978-3-030-23679-3_5MaRDI QIDQ2177599zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 6 May 2020

Full work available at URL https://doi.org/10.1007/978-3-030-23679-3_5

zbMATH Keywords

reachability problemDolev-Yao modelalternating pushdown systems

Mathematics Subject Classification ID

Cryptography (94A60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Recommendations

• A DEXPTIME-complete Dolev-Yao theory with distributive encryption
• Limits of the cryptographic realization of Dolev-Yao-style XOR
• Introducing commutative and associative operators in cryptographic protocol analysis
• Easy intruder deduction problems with homomorphisms
• Algebraic Intruder Deductions

Cited in

(1)

• A DEXPTIME-complete Dolev-Yao theory with distributive encryption

This page was built for publication: Dolev-Yao theory with associative blindpair operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2177599)