Shabsi Walfish
Enhanced Security Models for Network Protocols
A Dissertation Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy, Department of Computer Sciences, Courant Institute of Mathematical Sciences, New York University, January 2008