Edinburgh Research Explorer

Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. / Steel, G.; Bundy, Alan; Maidl, M.

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Springer-Verlag GmbH, 2004. p. 137-151 (Lecture Notes in Computer Science; Vol. 3097).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Steel, G, Bundy, A & Maidl, M 2004, Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. in Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Lecture Notes in Computer Science, vol. 3097, Springer-Verlag GmbH, pp. 137-151. https://doi.org/10.1007/978-3-540-25984-8_8

APA

Steel, G., Bundy, A., & Maidl, M. (2004). Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. In Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings (pp. 137-151). (Lecture Notes in Computer Science; Vol. 3097). Springer-Verlag GmbH. https://doi.org/10.1007/978-3-540-25984-8_8

Vancouver

Steel G, Bundy A, Maidl M. Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. In Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Springer-Verlag GmbH. 2004. p. 137-151. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-540-25984-8_8

Author

Steel, G. ; Bundy, Alan ; Maidl, M. / Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Springer-Verlag GmbH, 2004. pp. 137-151 (Lecture Notes in Computer Science).