Attacking group protocols by refuting incorrect inductive conjectures

DOI10.1007/S10817-005-9016-8MaRDI QIDQ861695zbMATH OpenOpenAlexWikidataFDO

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

Mathematics Subject Classification ID

Authentication, digital signatures and secret sharing (94A62)

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

Cites work

• scientific article; zbMATH DE number 1149426 (Why is no real title available?)
• scientific article; zbMATH DE number 3380160 (Why is no real title available?)
• Automated Reasoning
• Combining superposition, sorts and splitting
• Induction = I-axiomatization + first-order consistency.
• New directions in cryptography
• On the security of public key protocols
• Using encryption for authentication in large networks of computers

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}

Describes a project that uses

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)