Design and Analysis of Security Protocols Vitaly Shmatikov CS 395T shmat/courses/cs395t_fall04
Design and Analysis of Security Protocols