形式化分析论文

论文摘要电子商务安全协议,为电子商务活动提供一系列的安全保护工作,是整个系统安全体系的核心。电子商务安全协议除需要提供保密性、认证性等一般安全性质外,通常还需要满足原子性、匿名...

论文摘要计算机网络正以惊人的速度向各个领域渗透,其中的安全问题也变得越来越突出和复杂,解决安全问题对许多网络应用来说已是头等大事。从目前解决安全问题的方式来看,安全协议是解决网...

论文摘要安全协议的重要性随着网络技术的飞速发展与日俱增，安全协议的形式化分析已成为网络安全领域的研究热点。形式化描述是形式化分析的前提。本文首先对安全协议的形式化描述技术进行了...

论文摘要随着异构无线网络融合趋势的加剧,认证技术作为网络接入安全的关键,受到了越来越多的关注。目前,各种异构无线网络采用不同的接入认证技术,其安全性能差异很大,为网络接入带来很...

论文摘要密码协议的安全性是网络安全的关键,协议分析是揭示密码协议是否存在安全漏洞的重要途径。与非形式化方法相比,密码协议的形式化分析与验证能全面地检测密码协议存在的安全漏洞。在...

论文摘要安全协议是建造网络安全环境的重要基石,是保证网络安全的核心技术。设计和证明安全协议自身的正确性和安全性,成为网络安全的基础。形式化分析方法已被证明是用于分析、设计和验证...

论文摘要计算机网络的高速发展和网络新应用的不断涌现给网络安全带来了很大的冲击,网络安全成为新的信息安全的热点;安全协议作为计算机网络安全体系的重要组成部分,也就变得越来越重要。...

论文摘要随着网络通信技术的发展,电子商务已经渗透到人们的日常生活中。电子商务协议的安全性是决定电子商务发展的关键因素之一,也是制约电子商务发展的瓶颈。目前分析电子商务协议安全性...

论文摘要近年来,安全协议形式化分析及自动化验证技术越来越受到人们的关注,但是对基于安全协议形式化分析理论的攻击过程重构技术的研究还处于初始阶段,而攻击重构技术不仅能够验证协议形...

论文摘要模型检测是近二十年来最成功的形式化自动验证技术之一。其因自动化程度高,效率高等优点而被广泛应用于并发系统的分析与验证中。与定理证明等其他形式化验证方法相比,模型检测的主...

论文摘要组合式述补结构是指带“得”的述补结构（朱德熙）。由于现代汉语中“得”字出现的情况比较复杂：动词de（分得几只）；助动词de（出得来）；助动词dei（至少得五人）；助词d...

论文摘要随着计算机网络与信息安全技术的迅速发展,电子商务活动出现了更为复杂的交易过程,一次交易可能涉及多个买方或卖方。为了实现多个参与方的安全交互,出现了各种各样的多方安全协议...

论文摘要随着信息技术和网络技术的飞速发展,信息网络的广泛应用已成为社会进步和发展的重要标志之一。传统有线网络由于受环境条件的制约,在物理、逻辑和成本方面普遍存在着一系列问题,发...

论文摘要随着移动用户迅猛增加和移动技术不断改善,移动商务得到了快速发展并呈现出前所未有的发展机遇。但目前移动商务仍以小额交易为主,交易额也仅占总电子交易额很小部分。制约移动商务...

论文摘要当今世界主要航天国家致力于在继续完善人造卫星系统种类和提高系统功能的基础上,发展小型卫星,建立新型的网络化综合性航天体系,并建立天基综合信息网。天基综合信息网是由不同轨...

论文摘要Athena方法是安全协议分析领域中的一种新的形式化分析方法。本文首先对其进行了深入分析,然后针对安全协议形式化分析领域中的两个重要问题——类型缺陷攻击问题、组合协议猜...

论文摘要在移动通信技术和网络迅速发展的今天，移动商务成为一个必然趋势。安全公平的移动交易成为学者们研究的焦点，而移动商务协议作为移动商务安全技术的应用服务层，安全性越来越引起人...

论文摘要随着计算机网络应用的不断深入，对安全协议进行分析和研究已经成为信息安全领域的一个十分重要的研究方向。形式化分析由于其精炼、简洁和无二义性逐步成为分析安全协议的一条可靠和...

论文摘要本文深入研究了3GPP接入安全机制,重点分析了认证与密钥协商协议3GPP-AKA。该机制存在用户永久身份信息易被窃取、终端与服务网络双向认证不完全、序列号操作困难等缺陷...

论文摘要电子商务协议形式化分析是电子商务研究的一个重要方面，电子商务协议是面向电子商务的密码协议，安全的电子商务协议是保证电子商务活动正常开展的基础，其基本属性包括安全性、保密...