2008 4th Workshop on Secure Network Protocols