Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures
Authors: Graham Steel ; Alan Bundy ; Monika Maidl
Date: 2004
Publication Title:Proceedings of IJCAR
Publication Type:Conference Paper Publication Status:Published
Volume No:3097 Page Nos:137-151
Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party protocols may not be able to model a group protocol, or its intended security properties. Frequently, such tools require an abstraction to a group of fixed size to be made before the automated analysis takes place. This can prejudice chances of finding attacks on the protocol. In this paper, we describe Coral, our system for finding security protocol attacks by refuting incorrect inductive conjectures.We have used Coral to model a group key protocol in a general way. By posing inductive conjectures about the trace of messages exchanged, we can investigate novel properties of the protocol, such as tolerance to disruption, and whether it results in agreement on a single key. This has allowed us to find three distinct novel attacks on groups of size two and three.
Links To Paper
1st link
Bibtex format
author = { Graham Steel and Alan Bundy and Monika Maidl },
title = {Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures},
book title = {Proceedings of IJCAR},
publisher = {Springer},
year = 2004,
volume = {3097},
pages = {137-151},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh