Travelled to:1 × Italy
Collaborated with:J.D.Ramsdell D.J.Dougherty J.D.Guttman
Talks about:protocol (1) analysi (1) hybrid (1) state (1) secur (1)
Person: Paul D. Rowe
DBLP: Rowe:Paul_D=
Contributed to:
2014Wrote 1 papers:
- IFM-2014-RamsdellDGR #analysis #hybrid #protocol #security
- A Hybrid Analysis for Security Protocols with State (JDR, DJD, JDG, PDR), pp. 272–287.