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: Guttman:Joshua_D=
Contributed to:
2014
2009
2007
2004
2004
19961994
199419921990Wrote 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.