Joshua Guttman

1955

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