- 1、本文档共78页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
基于Spi演算的安全协议形式化分析-计算机软件理论专业论文
FORMAL ANALYSIS OF SECURITY PROTOCOLS BASED ON
SPI CALCULUS
ABSTRACT
A safe cryptographic protocol is the basis of composing information security systems, and it is one of absolutely necessary components of the communication of networks and its applications. However, many existing security protocols are proven not to be so reliable as what were expected. Owing to the subtlety of security goal, the complexity of network environment, the uncertainty of the penetrators ability and the high parallelization of protocol run, verification of a security protocol can be very difficult, so we must analyze security protocols by formal methods.
Since the 1970s, some formal methods of security protocol analysis have been proposed, these methods are mainly of three kinds: methods based on modal logic of knowledge and belief, methods based on theorem proof and methods based on process calculus. And among the three methods mentioned above, the process calculus can model the protocols very precisely. The Spi calculus, which is based on the theory of process calculus, can define cryptographic operations and is fit for the analysis of the protocols which operate concurrently in multiple runs.
In this article, a detailed analysis is given to the formal verification methods of security protocols. We pay our attention to the Spi calculus, and validate the protocols through bisimulation. The main contents and contributions are as follows:
Some formal methods for the analysis of security protocols are summarized and discussed. We devote much effort into the discussion of the one which is based on process calculus. We also show how a protocol is
analyzed based on Spi calculus and the theory of bisimulation.
The necessity of the Spi calculus is introduced in the discussion of how to use pi calculus to describe security protocols. We point out that strong bisimulation is too strict in the analysis of security protocols. Furthermore, test equivalent is introduced to model the security propert
您可能关注的文档
- 基于Spark的岩石图像聚类分析算法研究-计算机技术专业论文.docx
- 基于Spark云计算平台的改进K近邻算法研究-计算机技术专业论文.docx
- 基于SPARK平台的LAMOST早M型光谱聚类的研究-计算机技术专业论文.docx
- 基于Spark的机器学习应用框架研究与实现-软件工程专业论文.docx
- 基于Spark的模糊c均值聚类算法研究-计算机科学与技术专业论文.docx
- 基于Spark的联机分析处理的研究-计算机软件与理论专业论文.docx
- 基于Spark的并行推荐算法的研究与实现-软件工程专业论文.docx
- 基于Spark的模糊时间序列预测模型研究-计算机技术专业论文.docx
- 基于Spark的大数据挖掘技术的研究与实现-软件工程专业论文.docx
- 基于Spark的若干数据挖掘技术研究-计算机应用技术专业论文.docx
文档评论(0)