کتاب‌های Joshua D. Guttman - BookPine

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Joshua D. Guttman

VLISP: A Verified Implementation of Scheme (Special Issue of Lisp and Symbolic Computation, Vol. 8, Nos. 1-2, March 1995)

VLISP: A Verified Implementation of Scheme (Special Issue of Lisp and Symbolic Computation, Vol. 8, Nos. 1-2, March 1995)

Joshua D. Guttman

Principles of Security and Trust: First International Conference, POST 2012

Principles of Security and Trust: First International Conference, POST 2012

Pierpaolo Degano

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010

Pierpaolo Degano

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009

Pierpaolo Degano

Protocol Independence Through Disjoint Encryption

Protocol Independence Through Disjoint Encryption

Joshua D. Guttman

Authentication Tests and the Structure of Bundles

Authentication Tests and the Structure of Bundles

Joshua D. Guttman

VLISP: A Verified Implementation of Scheme (A Special Issue of LISP and Symbolic Computation, Vol. 8, Nos. 1 & 2 March 1995)

VLISP: A Verified Implementation of Scheme (A Special Issue of LISP and Symbolic Computation, Vol. 8, Nos. 1 & 2 March 1995)

Joshua D. Guttman