形式化分析相关论文
在5G网络中，物联终端接入方式主要是无线接入。针对在海量接入场景下高昂的认证成本，该文提出了一种适用于电力5G终端二次认证的基于......
应用内第三方支付具有便捷实用的特点,使得众多的移动应用选择嵌入第三方支付功能,但其安全性缺乏系统全面的分析,导致支付安全难......
不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻......
形式化技术是系统开发过程中提高可靠性的一种行之有效的途径,随着形式化技术的发展与普及,它在系统软硬件设计方面得到了一定的应......
为了提高无人机集群战术通信链路传输的连贯和安全,针对当今无人机自组链路网络的不足,提出了一种中继式无人机自组网安全协议.该......
比特币引入了一种新的P2P(Peer to Peer)交易方法,并依靠其底层协议实现去中心化交易.然而,由于目前缺乏对比特币各底层协议的细粒......
安全协议运用密码算法,实现认证和密钥分配等目标。但是安全协议本身仍然存在安全隐患,对安全协议的各类攻击,导致个人、企业或国......
Android隐私泄露问题日益严重,信息流分析是发现隐私泄露的一种主要方法.传统信息流分析方法以单一可达性分析为主,难以分析复杂信......
本文在分析SNMP协议的原理和通信机制的基础之上,用Petri网对协议进行建模.首先用Petri网的库所/变迁系统对SNMP协议的通信过程建......
《中华人民共和国电子签名法》第十三条规定,电子签名同时符合下列条件的,视为可靠的电子签名。相对于一般的电子签名,交互型电子......
对Ding Yuan等人设计的一个不可否认协议进行分析,发现不能满足公平性、机密性和不可否认性,并用一个具体的攻击过程来说明协议的......
研究如何实现基于格的访问控制策略无论在安全理论领域还是在安全实践方面都是很有意义的。描述如何使用一个基于角色的访问控制(R......
随着网络的迅速发展，网络安全问题日益突出，正确分析和验证安全协议尤为必要。目前对安全协议进行分析的主流方法是形式化分析方法。......
本文在两方密码协议运行模式分析法的基础上，利用模型检测的理论结果，提出了三方密码协议运行模式分析法。并用这种方法对Davis Swic......
临时限速系统TSRS(Temporary Speed Restriction System)是列控系统的重要组成系统之一，是基于“故障—安全”的安全苛求系统，在列车......
面对天地一体化信息网络多域安全控制需求,针对单进程正则匹配的方式制约了互联安全网关的性能问题,提出基于进程通信语义安全分析......
为了解决有色Petri网(CPN)对安全协议进行形式化建模分析时,仅能判断协议是否存在漏洞而无法找出漏洞具体位置和攻击路径的问题,以......
区块链共识协议是一种确保区块链网络中不同节点的数据达成一致的重要机制,随着区块链应用的爆发性增长,针对区块链共识协议的攻击......
概念格是一种优良的形式化分析工具,具有精确性和完备性等特点,在机器学习、软件工程和信息获取等领域得到了广泛应用。文章介绍了......
1 .概述2 0 0 1年 ,英国的布莱克韦尔出版社出版了《动态句法学 :语言理解的流程》(DynamicSyntax :TheFlowofLanguageUnderstandi......
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view......
本篇主要探讨词汇能力和认知学习词典的关系。通过对N cook 和 N gift逆动词名词化过程的形式化分析指明词汇派生的认知机制并以此......
本文对认证测试方法在安全协议分析中的应用进行了深入研究,提出了扩展的认证测试方法并设计了基于该方法的协议分析算法和自动化......
SVO逻辑已成功分析了NSSK协议、NSPK协议、Otway-Rees协议、Yahlom协议、大嘴青蛙协议等,并找到了其中已知的和未知的漏洞。在SVO......
在网络给人们提供各种方便的同时,也带来安全方面的问题。安全协议是保证人们在网上进行各种交易活动的基础。由于协议运行在复杂......
本文介绍了树自动机结合项重写系统分析安全协议的方法。首先,协议步骤转化为项重写系统,通信请求被建模成树自动机;树自动机按照......
针对物联网通信协议安全性不足和使用非形式化方法对协议的安全性进行分析时容易出现错误的问题,通过分析物联网感知层协议中的Has......
该论文的主要工作内容包括如下:1.建立密码协议的新的安全模型;将密码协议与协议中用到的密码算法视为一个系统(称为密码协议系统)......
乐观公平交换协议是一类典型的安全协议,用于在两个或多个主体之间安全、高效地进行电子交易。与其它安全协议相比,乐观公平交换协......
该文采用形式化逻辑模型,对安全协议的形式化分析和验证技术进行研究.根据采用的技术和方法的不同,形式化逻辑模型又分为逻辑推导......
目前,全球移动电子商务呈现异常强劲的势头,我国移动电子商务也在迅速发展。用户使用移动电子商务时最关心的是安全问题,而移动电......
基于J2EE规范的Web应用服务器作为分布式系统运行时的基础支撑软件，在向客户提供全面的功能性支持的同时，也需要给出优秀的可靠性与......
保护通信系统信息安全的核心技术包括密码系统和密码协议(也称安全协议)。系统的安全性不仅依赖于所采用的密码算法强度，而且与算法......
射频识别(Radio Frequency Identification，RFID)技术被誉为本世纪十大技术之一，它是应用射频来自动识别单个物体对象的技术的总称。......
移动代理技术是未来网络计算的一种新模式，特别适合于电子商务领域。其安全性是制约移动代理技术能否广泛应用的重要因素，数据完整性......
形式化方法是提高软件设计可靠性和正确性的重要途径,其基本含义是借助数学的方法来研究计算机科学中的有关问题。形式化方法主要......
随着网络通信技术的发展,电子商务已经渗透到人们的日常生活当中。特别是3G时代的到来,使移动商务得到了快速的发展。而移动商务协......
信息科技的发展正在改变着世界，数据库也从最简单的存储数据的表格发展到海量数据存储的大型数据库系统，并在互联网、金融、医疗、电......
随着工业的飞速发展、信息技术的不断进步，计算机信息系统在各个行业得到广泛应用。保证软件可靠性，提高软件的质量是软件研究的重要......
可信计算技术通过从体系架构上建立攻击免疫机制，实现计算平台安全、可信赖运行。可信计算技术目前已经得到了普遍应用。随着可信计......
随着互联网的迅速发展,网络协议的安全性越来越成为人们关注的焦点。IEEE802.1X协议作为以太网上主要的接入认证协议,其安全性的重......
随着网络的飞速发展和信息交互量的不断增长,信息安全的问题受到了越来越多的关注。为了维护网络环境的安全,构建正确的安全协议是......
密码协议安全性分析是网络安全的一个难题,运用形式化方法对密码协议进行分析一直是该领域的研究热点.形式化分析由于其精炼、简洁......
随着互联网的不断发展，在世界范围内掀起了一股电子商务热潮。而网上电子支付的安全性却成为其发展的主要障碍。安全电子交易协议SE......
本文归纳了协议安全属性的具体内容及在协议中实现这些安全属性的相关因素,说明协议安全属性与协议数据内容的相关性,以此为基础提......
