Analysing password protocol security against off-line dictionary attacks

MaRDI QIDQ2849571zbMATH OpenFDO

Authors Ricardo Corin, Jeroen Doumen, Sandro Etalle

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105000241

Mathematics Subject Classification ID

Network protocols (68M12) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Authenticated key exchange secure against dictionary attacks
• Automata, Languages and Programming
• Decision procedures for the security of protocols with probabilistic encryption against offline dictionary attacks
• Logic for Programming, Artificial Intelligence, and Reasoning
• Information Security and Privacy

Cited in

(20)

• Computationally sound implementations of equational theories against passive adversaries
• On the implications of Zipf's law in passwords
• Composition of password-based protocols
• 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
• Off-line password-guessing attacks on the generalized key agreement and password authentication protocol
• Model Checking Security Protocols
• A Calculus to Detect Guessing Attacks
• Strengthening Password-Based Authentication Protocols Against Online Dictionary Attacks
• YAPA: A Generic Tool for Computing Intruder Knowledge
• Reducing equational theories for the decision of static equivalence
• Computing knowledge in security protocols under convergent equational theories
• scientific article; zbMATH DE number 1113952 (Why is no real title available?)
• Analysing privacy-type properties in cryptographic protocols (invited talk)
• Computing Knowledge in Security Protocols under Convergent Equational Theories
• Logic for Programming, Artificial Intelligence, and Reasoning
• Automata, Languages and Programming
• Automating security analysis: symbolic equivalence of constraint systems
• Mitigating Dictionary Attacks on Password-Protected Local Storage
• Decision procedures for the security of protocols with probabilistic encryption against offline dictionary attacks

This page was built for publication: Analysing password protocol security against off-line dictionary attacks

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