On the Relation between UC Security Framework and PDS-PCL Framework
The importance of compositional methods in the design and analysis of cryptographic protocols is now widely recognized with the growing complexity of cryptographic protocols. This is because compositional methods make the . design and analysis of cryptographic protocols reusable. Universally Composable (UC) security framework and Protocol .Derivation System and Protocol Composition Logic (PDS-PCL) framework are typically successful paradigms of compositional method respectively in computational area and symbolic area. In this paper, these two frameworks. are compared and related formally to capture the complementary benefits of soundness and automation, notwithstanding the inherent levels of abstraction in these two frameworks are different Furthermore, a theorem on security relation between them is proposed and proved in detail. The investigation of the . exact relationship between the two frameworks deepens our understanding of the nature of composability.
cryptographic protocols security analysis UC security framework PDS-PCL framework relation
Yu Zhang Jian-peng Xiao
Zhengzhou Information Science and Technology Institute Zhengzhou, China PLA 65012 Unit Shenyang, China
国际会议
重庆
英文
239-242
2011-08-20（万方平台首次上网日期，不代表论文的发表时间）