Rob Delicata

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

Rob Delicata, Steve A. Schneider
An algebraic approach to the verification of a class of Diffie-Hellman protocols. Int. J. Inf. Sec. 6 (2-3) (2007)
Rob Delicata, Steve A. Schneider
Temporal Rank Functions for Forward Secrecy. CSFW (2005)
Rob Delicata, Steve A. Schneider
A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols. Formal Aspects in Security and Trust (2005)
Steve A. Schneider, Rob Delicata
Verifying Security Protocols: An Application of CSP. 25 Years Communicating Sequential Processes (2004)