基于细粒度新鲜性的密码协议分析-计算机系统结构专业论文.docxVIP

Security Analysis of Cryptographic Protocols Based on Fine-Grained Freshness ABSTRACT With the rapid development of the internet, the security protocol, which is based on internet, is becoming more and more important. This article is to improve and extend the method of Belief Multiset Formalism for Cryptographic Protocol Analysis, which is based on freshness, so we propose the improved method - Security Analysis of Cryptographic Protocols Based on Fine-Grained Freshness. In this method, we put forward the fine-grained definitions of both freshness and secrecy. Many concepts have been def