Publications
A Foundation for Tunnel-Complex Protocols,
Alwyn E. Goodloe.
Ph.D. Dissertation. Defended January 2008.
Reasoning about Concurrency for Security Tunnels,
Alwyn E. Goodloe and Carl A. Gunter.
IEEE Computer Security Foundations (CSF 07), Venice, Italy, July 2007.
Design Principles for Gateway Discovery Protocols,
Alwyn E. Goodloe and Carl A. Gunter.
Research paper manuscript, draft of November 2006.
The Tunnel Calculus,
Alwyn Goodloe and Carl A. Gunter.
Research paper manuscript, draft of October 2006.
Challenges for Gateway Discovery Protocols,
Carl A. Gunter and Alwyn E. Goodloe.
Position paper, May 2006.
L3A: A Protocol for Layer Three Accounting,
Alwyn Goodloe, Matthew Jacobs, Gaurav Shah and Carl A. Gunter.
IEEE Workshop on Secure Network Protocols (NPsec '05), Boston, MA, 2005. [PPT]
Formal Prototyping in Early Stages of Protocol Design
Alwyn Goodloe, Carl A. Gunter, and Mark-Oliver Stehr
IFIP Workshop on Information Technologies and Systems (WITS '05), Long Beach, CA, 2005.