Security Analysis of Network Protocols Anupam Datta Stanford University UW-Madison CSD April 18, 2005.