Books by Joshua Guttman
Logic, Language, and Security
Logic, Language, and Security
Foundations of Security, Protocols, and Equational Reasoning
Principles of Security and Trust
Lecture Notes in Computer Science
Formal Aspects In Security And Trust 5th International Workshop Fast 2008 Malaga Spain October 910 2008 Revised Selected Papers
VLISP A Verfied Implementation of Scheme
Logical constants and logical
Logical constants and logical objects