Specification and Verification of Cryptographic Protocols based on TCPL

摘要：

To facilitate the analysis of cryptographic protocols, based on time-dependent cryptographic protocol logic (TCPL), a method to specify logic formulas in XML is given. And then, a method to automatically verify cryptographic protocol is provided. In this method, the goals of the protocol are reduced to a set of sub-goals, and continually using the similar reduction on these sub-goals will at last lead to some given conditions. Thus, the validness of the given conditions will make the goals valid. Proof shows that our method is sound. Moreover, it can make the process to analyze cryptographic protocols automated and efficient.

关键词： cryptographic protocol specification verification

作者: LEI Xinfeng Li Xinghua LIU Jun XIAO Junmo

作者单位: Institute of Communications Engineering PLA University of Science and Technology Nanjing, Jiangsu province 210007, China

会议类型: 国际会议

会议名称: 第四届国际计算机新科技与教育学术会议(2009 4th International Conference on Computer Science & Education)

会议地点: 南京

会议语种:英文

页码: 1216-1220

在线出版日期: 2009-07-25（万方平台首次上网日期，不代表论文的发表时间）