Rob Delicata

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

4 Rob Delicata, Steve Schneider: An algebraic approach to the verification of a class of Diffie-Hellman protocols. Int. J. Inf. Sec. 6(2-3): 183-196 (2007)

2005

3 Rob Delicata, Steve A. Schneider: Temporal Rank Functions for Forward Secrecy. CSFW 2005: 126-139

2 Rob Delicata, Steve A. Schneider: A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols. Formal Aspects in Security and Trust 2005: 34-46

2004

1 Steve A. Schneider, Rob Delicata: Verifying Security Protocols: An Application of CSP. 25 Years Communicating Sequential Processes 2004: 243-263

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

Coauthor Index

1 Steve A. Schneider (Steve Schneider) [1] [2] [3] [4]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page