Radia J. Perlman, Charlie Kaufman. Analysis of the IPSec Key Exchange Standard. In 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 20-22 June 2001, Cambridge, MA, USA. pages 150-156, IEEE Computer Society, 2001. [doi]
Abstract is missing.