Ling Dong, Kefei Chen, Mi Wen, Yanfei Zheng. Protocol Engineering Principles for Cryptographic Protocols Design. In Wenying Feng, Feng Gao, editors, Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China. pages 641-646, IEEE Computer Society, 2007. [doi]
Abstract is missing.