Stefanos Gritzalis, Diomidis Spinellis, Panagiotis Georgiadis. Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification. Computer Communications, 22(8):697-709, 1999. [doi]
Abstract is missing.