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