Attacking group protocols by refuting incorrect inductive conjectures

DOI10.1007/S10817-005-9016-8zbMATH Open1134.94378OpenAlexW2044387415WikidataQ123015140 ScholiaQ123015140MaRDI QIDQ861695FDOQ861695

Authors: Graham Steel, Alan Bundy 

Publication date: 30 January 2007

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

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/406495/Attacking_a_Protocol_for_Group_Key_Agreement_by_Refuting_Incorrect_Inductive_Conjectures.pdf

Recommendations

• Automated Reasoning
• Attacking group multicast key management protocols using \textsc{Coral}
• An attack-finding algorithm for security protocols.
• Proving Group Protocols Secure Against Eavesdroppers
• scientific article; zbMATH DE number 2086169

Mathematics Subject Classification ID

Authentication, digital signatures and secret sharing (94A62)

Cites Work

• New directions in cryptography
• Combining superposition, sorts and splitting
• Using encryption for authentication in large networks of computers
• On the security of public key protocols
• Induction = I-axiomatization + first-order consistency.
• Title not available (Why is that?)
• Automated Reasoning
• Title not available (Why is that?)

Cited In (4)

• The lazy adversary conjecture fails
• Proving Group Protocols Secure Against Eavesdroppers
• Automated Reasoning
• Attacking group multicast key management protocols using \textsc{Coral}

Uses Software

• Iolus

This page was built for publication: Attacking group protocols by refuting incorrect inductive conjectures

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