Guttman, Joshua D. books & textbook
VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Guttman, Joshua D. Wand, Mitchell
Springer /2012-11-21 Paperback / 184 Pages
isbn-10: 1461359910 / isbn-13: 9781461359913
Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5491)
Degano, Pierpaolo Guttman, Joshua D. Martinelli, Fabio
Springer /2009-04-09 Paperback / 341 Pages
isbn-10: 364201464X / isbn-13: 9783642014642
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers (Lecture Notes in Computer Science, 5983)
Degano, Pierpaolo Guttman, Joshua D.
Springer /2010-04-20 Paperback / 289 Pages
isbn-10: 3642124585 / isbn-13: 9783642124587
Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of ... (Lecture Notes in Computer Science, 7215)
Degano, Pierpaolo Guttman, Joshua D.
Springer /2012-03-14 Paperback / 445 Pages
isbn-10: 3642286402 / isbn-13: 9783642286407
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows (Security and Cryptology)
Guttman, Joshua D. Landwehr, Carl E. Meseguer, José Pavlovic, Dusko
Springer /2019-04-28 Paperback / 251 Pages
isbn-10: 303019051X / isbn-13: 9783030190514
Authentication Tests and the Structure of Bundles
PN /2000T Paperback
Protocol Independence through Disjoint Encryption
PN /2000T Paperback
