摘要:该文采用形式化逻辑模型,对安全协议的形式化分析和验证技术进行研究.根据采用的技术和方法的不同,形式化逻辑模型又分为逻辑推导方法、攻击检测方法和定理证明方法.逻辑...
计算机网络安全问题日益引起人们的重视.安全协议是用来保证网络通信安全的重要工具.但研究证明安全协议大多数都有安全漏洞.作为信息安全的一项重要研究内容,安全协议...
2017年8月19日 20世纪70年代末以来,安全协议分析与验证成为专家学者们研究 的一个热点,有众多的形式化的研究方法涌现出来。 2形式化分析前提 ’ 2.1完善加密(perfectencrypti...
李莉 展开 摘要: 该文采用形式化逻辑模型,对安全协议的形式化分析和验证技术进行研究.根据采用的技术和方法的不同,形式化逻辑模型又分为逻辑推导方法,攻击检测方法和定理证...
2015年3月7日 形式化方法是当今分析安全协议的一类主流方法,但是不同的形式化方法各有优劣,且应用形式化方法研究安 全协议在理论和实践上还不够充分。 论文对BAN逻辑进行了较...
安全协议的正确性对网络应用的安全至关重要。安全协议攻击者的破坏和安全协议无穷多个会话的并发交叠运行使得安全协议运行时往往难以实现它的设计目标。形式化方法已被证明是...
形式化分析是一种严谨和智能的分析方法,通过形式化描述协议的安全属性和行为,可以对协议的正确性进行验证和推理,发现潜在的安全漏洞并提供修复方案。形式化分析理论与应用研...
本文在基于定理证明的安全协议形式化建模方面系统地研究了安全协议的消息语句空间和消息事件空间的性质、主体进程表示理论以及安全目标的分类、形式化描述和安全协议的可验证...
【学位级别】:博士 【学位授予年份】:2011 下载App查看全文 下载全文更多同类文献个人查重>>智能排版>> (如何获取全文?欢迎:购买知网充值卡、在线充值、在线咨询) CAJViewer...
百度学术