Searching for authors named "Rob Delicata" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
A formal model of Diffie-Hellman using CSP and rank functions
- …A formal model of Diffie-Hellman using CSP and rank functions Rob Delicata and Steve Schneider…
- Cited by 4 (1 self) – Add To MetaCart
-
A formal approach for reasoning about a class of diffie-hellman protocols
- …A formal approach for reasoning about a class of Diffie-Hellman protocols Rob Delicata and Steve…
- Cited by 1 (0 self) – Add To MetaCart
-
Towards the Rank Function Verification of Protocols That Use Temporary Secrets
- …Towards the rank function verication of protocols that use temporary secrets Rob Delicata and Steve…
- Cited by 2 (0 self) – Add To MetaCart
-
Towards the Verification of Security
- …Towards the verification of security protocols that use temporary secrets Rob Delicata and Steve…
- Add To MetaCart
Showing 1 through 4.
