BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Italy
1 × Portugal
1 × United Kingdom
2 × Spain
2 × USA
Collaborated with:
F.J.Thayer W.M.Farmer D.M.Johnson J.D.Ramsdell S.F.Doghmi D.J.Dougherty P.D.Rowe M.E.Nadel J.A.Carlson J.C.Herzog B.T.Sniffen
Talks about:
protocol (4) imp (4) system (3) cryptograph (2) descript (2) method (2) trust (2) secur (2) proof (2) mathemat (1)

Person: Joshua D. Guttman

DBLP DBLP: Guttman:Joshua_D=

Contributed to:

IFM 20142014
FOSSACS 20092009
TACAS 20072007
ESOP 20042004
VMCAI 20042004
CADE 19961996
CADE 19941994
FME 19941994
CADE 19921992
CADE 19901990

Wrote 11 papers:

IFM-2014-RamsdellDGR #analysis #hybrid #protocol #security
A Hybrid Analysis for Security Protocols with State (JDR, DJD, JDG, PDR), pp. 272–287.
FoSSaCS-2009-Guttman #authentication #composition #encryption #protocol #testing
Cryptographic Protocol Composition via the Authentication Tests (JDG), pp. 303–317.
TACAS-2007-DoghmiGT #encryption #protocol
Searching for Shapes in Cryptographic Protocols (SFD, JDG, FJT), pp. 523–537.
ESOP-2004-GuttmanTCHRS #trust
Trust Management in Strand Spaces: A Rely-Guarantee Method (JDG, FJT, JAC, JCH, JDR, BTS), pp. 325–339.
VMCAI-2004-Guttman #protocol #security #trust
Security, Protocols, and Trust (JDG), p. 1.
CADE-1996-FarmerGF #named
IMPS: An Updated System Description (WMF, JDG, FJT), pp. 298–302.
CADE-1994-FarmerGNT #proving
Proof Script Pragmatics in IMPS (WMF, JDG, MEN, FJT), pp. 356–370.
FME-1994-GuttmanJ #formal method
Three Applications of Formal Methods at MITRE (JDG, DMJ), pp. 55–65.
CADE-1992-FarmerGT
Little Theories (WMF, JDG, FJT), pp. 567–581.
CADE-1992-FarmerGT92a #named
IMPS: System Description (WMF, JDG, FJT), pp. 701–705.
CADE-1990-FarmerGT #interactive #named #proving
IMPS: An Interactive Mathematical Proof System (WMF, JDG, FJT), pp. 653–654.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.