Joshua Guttman
Joshua Guttman
1955
4 books in the database
Books
VLISP A Verfied Implementation of SchemeJoshua Guttman
VLISP A Verfied Implementation of Scheme
Joshua Guttman · 1995
Foundations of Security, Protocols, and Equational ReasoningJoshua Guttman
Foundations of Security, Protocols, and Equational Reasoning
Joshua Guttman · 2019
Principles of Security and Trust Lecture Notes in Computer ScienceJoshua Guttman
Principles of Security and Trust Lecture Notes in Computer Science
Joshua Guttman · 2012
Formal Aspects In Security And Trust 5th International Workshop Fast 2008 Malaga Spain October 910 2008 Revised Selected PapersJoshua Guttman
Formal Aspects In Security And Trust 5th International Workshop Fast 2008 Malaga Spain October 910 2008 Revised Selected Papers
Joshua Guttman · 2009
Co-authored books and collections
Books that list Joshua Guttman among their authors but not as the lead author: co-written works, collections and compilations.
Logic, Language, and SecurityVivek Nigam
Logic, Language, and Security
Vivek Nigam · 2020
Principles of Security and TrustPierpaolo Degano
Principles of Security and Trust
Pierpaolo Degano · 2012
Formal Aspects in Security and TrustPierpaolo Degano
Formal Aspects in Security and Trust
Pierpaolo Degano · 2011
Formal Aspects in Security and TrustPierpaolo Degano
Formal Aspects in Security and Trust
Pierpaolo Degano · 2009