Foundations of Security, Protocols, and Equational Reasoning

Dusko Pavlovic, Joshua Guttman, Carl E. Landwehr, José Meseguer