Author: China) Workshop on Secure Network Protocols (3rd 2007 Bejing