|
Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/4578
|
| Title: | Attacking the Asokan-Ginzboorg Protocol for Key Distribution in an Ad-Hoc Bluetooth Network Using CORAL |
| Authors: | Steel, G.
Maidl, M.
Bundy, Alan |
| Issue Date: | Oct-2003 |
| Journal Title: | Proceedings of 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems |
| Abstract: | We describe Coral, a counterexample finder for incorrect inductive conjectures. By devising a first-order version of Paulson's formalism for cryptographic protocol analysis, we are able to use Coral to attack protocols which may have an unbounded number of principals involved in a single run. We show two attacks we have found on the Asokan--Ginzboorg protocol for establishing a group key in an ad-hoc network of Bluetooth devices. |
| URI: | http://www.inf.ed.ac.uk/publications/report/0179.html
http://hdl.handle.net/1842/4578 |
| Appears in Collections: | Informatics Publications
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
