Travelled to:1 × Italy
1 × Spain
1 × USA
Collaborated with:∅ J.D.Guttman D.J.Dougherty P.D.Rowe F.J.Thayer J.A.Carlson J.C.Herzog B.T.Sniffen
Talks about:protocol (1) guarante (1) analysi (1) strand (1) method (1) hybrid (1) trust (1) state (1) space (1) secur (1)
Person: John D. Ramsdell
DBLP: Ramsdell:John_D=
Contributed to:
2014
2004
1986Wrote 3 papers:
- IFM-2014-RamsdellDGR #analysis #hybrid #protocol #security
- A Hybrid Analysis for Security Protocols with State (JDR, DJD, JDG, PDR), pp. 272–287.
- ESOP-2004-GuttmanTCHRS #trust
- Trust Management in Strand Spaces: A Rely-Guarantee Method (JDG, FJT, JAC, JCH, JDR, BTS), pp. 325–339.
- LFP-1986-Ramsdell
- The CURRY Chip (JDR), pp. 122–131.