Converters for Designing Applied Cryptographic Protocols
Zhao Huawei, Jing Qin, Fang Zhifeng · 2008
Two modularized, non-interactive converters are proposed to design applied cryptographic protocols. The converters are based on the refined scheme given by Wenbo Mao, and can transform protocols secure in the ideal model into those secure in the real model. Because the converters are modularized, once proved secure, they can be widely reused in many protocols. And in contrast to BCK-authenticator, the converters have the following advantages: 1, Because of the character of non-interactivity, the transformed protocols outputted by the converters have higher performance than those protocols outputted by BCK-authenticator. 2, The converters can transform some symmetric-key protocols that can not be transformed by BCK-authenticator. 3, The converters have algorithms, which can help to realize automatic transformation.