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

Author: A. Bouhoula, C. Meadows, D. Dolev, D. Musser, D. Song, F. Fábrega, G. Ateniese, G. Bella, G. Lowe, H. Comon, H. Ganzinger, J. Millen, L. Bachmair, L.C. Paulson, M. Protzen, M. Tagdhiri, N. Asokan, O. Pereira, R. Needham, W. Ahrendt, W. Reif
Publisher: Springer Science and Business Media LLC

ABOUT BOOK

Abstract is not available.

Powered by: