Security Analysis of Network Protocols Vitaly Shmatikov SRI CS 259 http://www.stanford.edu/class/cs259/ John Mitchell Stanford Course organization Lectures Tues, Thurs for…