@inproceedings{IJCAR-2004-SteelBM,
author = "Graham Steel and Alan Bundy and Monika Maidl",
booktitle = "{Proceedings of the Second International Joint Conference on Automated Reasoning}",
doi = "10.1007/978-3-540-25984-8_8",
isbn = "3-540-22345-2",
pages = "137--151",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures}",
volume = 3097,
year = 2004,
}
Tags: