Formal models and techniques for analyzing security protocols - Cortier, Véronique.; Kremer, Steve. (IOS Press,)