The Agent Based Crypto Protocol The ABC-Protocol by Jordan Hind MSE Presentation 2.
Security Analysis of Network Protocols Anupam Datta Stanford University UW-Madison CSD April 18, 2005.
CPSC6128 - Network Security 1 Network Security CPSC6128 – Lecture 7 IKE/SSL VPNs.