Foundations of Security, Protocols, and Equational Reasoning More Books by Joshua D. Guttman, Carl E. Landwehr, José Meseguer & Dusko Pavlovic

Formal Aspects in Security and Trust

2010