Items where Author is "Delicata, Robert"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Book Section | Conference or Workshop Item
Number of items: 2.
Book Section
Schneider, Steve and Delicata, Robert (2005) Verifying Security Protocols: An Application of CSP In: UNSPECIFIED UNSPECIFIED, pp. 243-263.
Conference or Workshop Item
Delicata, Robert and Schneider, Steve (2004) Towards the Rank Function Verification of protocols that use Temporary Secrets