Joshua Guttman
1955
Books
- Foundations of Security, Protocols, and Equational Reasoning
- Principles of Security and Trust
- 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
- Formal Aspects in Security and Trust
- Formal Aspects in Security and Trust
- Principles of Security and Trust Lecture Notes in Computer Science
- Logic, Language, and Security
- Logical constants and logical objects
Author data: Open Library