Formal models and techniques for analyzing security protocols by Cortier, Véronique, Kremer, Steve fromCryptology and information security series 0 Type: Book
