Attacking group protocols by refuting incorrect inductive conjectures

DOI10.1007/S10817-005-9016-8zbMath1134.94378OpenAlexW2044387415WikidataQ123015140 ScholiaQ123015140MaRDI QIDQ861695

Alan Bundy, Graham Steel

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)

Related Items (1)

Proving Group Protocols Secure Against Eavesdroppers

Uses Software

• Iolus

Cites Work

• 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
• Automated Reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item

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