Verification Method of Security Protocols and Its Application
The paper researches the typical logic verification methods of security protocols and points out their limitations. Most of them are lack of formal semantics and analysis ability to hybrid cryptography-based primitives, in response on the above-mentioned problems, the paper proposes a new logic verification method, which can analyze most of the known security properties of the e-commerce protocols, such as authentication, secrecy of key, non-repudiation, accountability, fairness and atomicity. The validation of the new logic is verified by analyzing the anonymous e-cash payment protocol and certificated E-mail delivery protocol. The analysis results reveal that the two protocols cannot satisfy the intended security goals.
verification logic security property fairness accountability hybrid cryptography-based primitives
Li Chen Xiaoxue Li
Henan University of Economics and Law, Zhengzhou, Henan, China
国际会议
厦门
英文
483-487
2010-10-29（万方平台首次上网日期，不代表论文的发表时间）