Formal models and techniques for analyzing security protocols fromCryptology and information security series (Print) 0 Type: Book
