Author: Fla.) Workshop on Secure Network Protocols (4th 2008 Orlando