CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
G. Bella, S. Bistarelli, and F. Massacci, "A protocol's life after attacks . . . ," in Proc. 11th International Workshop on Security Protocols Cambridge, UK, LNCS, Springer, 2003. To appear.