Proving Security Protocols Correct— Correctly Jonathan Herzog 21 March 2006 The author's affiliation with The MITRE Corporation is provided for identification.
1 PingER: Methodology, Uses & Results Prepared by Les Cottrell, SLAC, for the Extending the Reach of Advanced Networking: Special International Workshop.