Logic, Language, and SecurityVivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov · First published 2020Open the Tome
Foundations of Security, Protocols, and Equational ReasoningJoshua Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic · First published 2019Open the Tome
Principles of Security and Trust Lecture Notes in Computer ScienceJoshua Guttman · First published 2012Open the Tome
Formal Aspects in Security and TrustPierpaolo Degano, Joshua Guttman, Fabio Martinelli · First published 2009Open the Tome
Formal Aspects of Security and TrustSandro Etalle,Pierpaolo Degano,Joshua Guttman · First published 2011Open the Tome
Formal Aspects In Security And Trust 5th International Workshop Fast 2008 Malaga Spain October 910 2008 Revised Selected PapersJoshua Guttman · First published 2009Open the Tome
VLISP A Verfied Implementation of SchemeJoshua Guttman, Mitchell Wand · First published 1995Open the Tome
