基于串空间模型的安全协议验证及算法研究-计算机软件与理论专业论文.docxVIP

郑州大学硕士学位论文Abstract 郑州大学硕士学位论文 Abstract With the popularization of network and Internet applications．security issues are becoming mo伸and more important．Only depending on the fine encryption algorithm to guarantee the security of the information is insufficient．m practical applications． we need a credible mechanism for the distribution of the key between independent communication entities,and also for the identity authentication．This makes people come up with various se鲥ty protocols． Security protocol，also be known as the cipher protocol，which uses the eryptographic methods for network communica