Joshua Guttman
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
8
Formal Aspects In Security And Trust 5th International Workshop Fast 2008 Malaga Spain October 910 2008 Revised Selected Papers
Formal Aspects in Security and Trust
Principles of Security and Trust
Foundations of Security, Protocols, and Equational Reasoning
Logic, Language, and Security
VLISP A Verfied Implementation of Scheme
Logical constants and logical objects
