密码协议安全性分析的逻辑方法及其哲学意蕴

发布时间：2021-10-19 22:28

　　互联网的兴起推进了社会的发展。在人们通过利用互联网得到便利的同时,网络信息安全问题也成了不可回避的重要问题,这些问题对社会机制和人们的日常生活构成了威胁与挑战。而密码协议是针对网络信息安全问题的一个主要解决办法,甚至可以说是核心手段,因此密码协议的安全性分析工作变得日趋重要。密码协议安全性分析的主要方法有两种,一种是基于密码学的方法；另一种是基于形式化的方法,而逻辑方法是形式化方法中一种具有代表性的方法。这两种分析方法都有各有优缺点,大概来说,密码学分析方法的优势在于结论可信度高,但不足之处在于分析工作技巧性更强,对人的依赖程度更大,而逻辑方法最大优势便是其分析过程直接、简洁。在保证所分析结论的可信度足够的情况下,逻辑方法分析密码协议安全性的这种优势恰恰是当今快速发展的社会对分析密码协议安全性所追求的主要目标。然而,以往的这种分析主要停留在技术层面,而鲜有对其中所涉的方法论和哲学基础进行较深入、系统的研究。本文试图通过对比利用密码学的方法和利用逻辑方法分析密码协议安全性的过程,依赖已有的成果并在技术层面的基础上深入到哲学层面来全面地对密码协议安全性分析的逻辑方法的优势与不足进行思考和分... 

【文章来源】：华东师范大学上海市 211工程院校 985工程院校 教育部直属院校

【文章页数】：57 页

【学位级别】：硕士

【文章目录】：
中文摘要
英文摘要
1. 导言
2. 密码学方法
    2.1. 概述
    2.2. 典型的经典密码方法
    2.3. 现代密码算法
3. 协议及其安全性
    3.1. 密码协议的特点
    3.2. 密码协议的表示方法
    3.3. 密码协议的类型
    3.4. 基于密码学方法的协议安全性分析过程
4. 逻辑方法
    4.1. 逻辑学的发展
    4.2. BAN逻辑
    4.3. BAN类逻辑及进一步扩展
    4.4. 最新的进展
    4.5. 利用逻辑方法对密码协议进行安全性分析的过程
5. 逻辑方法的优势与不足
    5.1. 逻辑方法和密码学方法在分析密码协议安全性上的对比
    5.2. 逻辑方法和经验方法在分析密码协议安全性上的对比
6. 几点哲学意蕴
    6.1. 密码协议的实在性
    6.2. 理性的作用和限度
    6.3. 知识的关联和整合
7. 结论
参考文献
后记


【参考文献】：
期刊论文
[1]科学知识与理性行动[J]. 郦全民.  华东师范大学学报(哲学社会科学版). 2011(06)
[2]安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势[J]. 薛锐,雷新锋.  中国科学院院刊. 2011(03)
[3]关于计算的若干哲学思考[J]. 郦全民.  自然辩证法研究. 2006(08)
[4]安全协议的形式化分析技术与方法[J]. 薛锐,冯登国.  计算机学报. 2006(01)
[5]安全协议形式化分析理论与方法研究综述[J]. 冯登国,范红.  中国科学院研究生院学报. 2003(04)
[6]安全协议20年研究进展[J]. 卿斯汉.  软件学报. 2003(10)
[7]从世界3到虚拟世界的涌现[J]. 郦全民.  自然辩证法通讯. 2003(05)
[8]安全协议的设计与逻辑分析[J]. 卿斯汉.  软件学报. 2003(07)
[9]BAN类逻辑的由来与发展[J]. 张玉清,吴建平,李星.  清华大学学报(自然科学版). 2002(01)

博士论文
[1]网络协议安全性分析中的逻辑化方法研究[D]. 石曙东.华中科技大学 2009



本文编号：3445717