1955 –
Non abbiamo ancora una biografia di Joshua Guttman.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Formal Aspects in Security and Trust
2011
VLISP A Verfied Implementation of Scheme
1995
Principles of Security and Trust Lecture Notes in Computer Science
2012
Logic, Language, and Security
2020
Foundations of Security, Protocols, and Equational Reasoning
2019
Formal Aspects In Security And Trust 5th International Workshop Fast 2008 Malaga Spain October 910 2008 Revised Selected Papers
2009
Principles of Security and Trust
Otium
