形式化分析相关论文
在5G网络中，物联终端接入方式主要是无线接入。针对在海量接入场景下高昂的认证成本，该文提出了一种适用于电力5G终端二次认证的基于......
为了提高无人机集群战术通信链路传输的连贯和安全,针对当今无人机自组链路网络的不足,提出了一种中继式无人机自组网安全协议.该......
安全协议运用密码算法,实现认证和密钥分配等目标。但是安全协议本身仍然存在安全隐患,对安全协议的各类攻击,导致个人、企业或国......
Android隐私泄露问题日益严重,信息流分析是发现隐私泄露的一种主要方法.传统信息流分析方法以单一可达性分析为主,难以分析复杂信......
本篇主要探讨词汇能力和认知学习词典的关系。通过对N cook 和 N gift逆动词名词化过程的形式化分析指明词汇派生的认知机制并以此......
本文在研究和分析现有的比较流行和成熟的网络管理模型如SNMP模型和CMIP模型的基础上，建立了基于中间件的分布式网络管理模型。该模......
本文对认证测试方法在安全协议分析中的应用进行了深入研究,提出了扩展的认证测试方法并设计了基于该方法的协议分析算法和自动化......
SVO逻辑已成功分析了NSSK协议、NSPK协议、Otway-Rees协议、Yahlom协议、大嘴青蛙协议等,并找到了其中已知的和未知的漏洞。在SVO......
本文介绍了树自动机结合项重写系统分析安全协议的方法。首先,协议步骤转化为项重写系统,通信请求被建模成树自动机;树自动机按照......
电力通信是电力系统的重要组成部分。电力通信的安全需求包括身份认证,存取控制,防火墙等,这些安全需求的实现都依靠安全协议。安......
针对物联网通信协议安全性不足和使用非形式化方法对协议的安全性进行分析时容易出现错误的问题,通过分析物联网感知层协议中的Has......
乐观公平交换协议是一类典型的安全协议,用于在两个或多个主体之间安全、高效地进行电子交易。与其它安全协议相比,乐观公平交换协......
目前,全球移动电子商务呈现异常强劲的势头,我国移动电子商务也在迅速发展。用户使用移动电子商务时最关心的是安全问题,而移动电......
家庭信息化程度正随着3C行业的快速发展而逐步地提高,网络化、智能化的趋势已经成为数字家庭产业的共识。数字家庭网络化的目的在......
随着互联网的迅速发展,网络协议的安全性越来越成为人们关注的焦点。IEEE802.1X协议作为以太网上主要的接入认证协议,其安全性的重......
随着网络的飞速发展和信息交互量的不断增长,信息安全的问题受到了越来越多的关注。为了维护网络环境的安全,构建正确的安全协议是......
密码协议安全性分析是网络安全的一个难题,运用形式化方法对密码协议进行分析一直是该领域的研究热点.形式化分析由于其精炼、简洁......
随着互联网的不断发展，在世界范围内掀起了一股电子商务热潮。而网上电子支付的安全性却成为其发展的主要障碍。安全电子交易协议SE......
本文归纳了协议安全属性的具体内容及在协议中实现这些安全属性的相关因素,说明协议安全属性与协议数据内容的相关性,以此为基础提......
随着电子商务在全球的迅猛发展，电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础......
随着电子商务在全球范围的广泛应用,电子商务的纠纷也越来越多。在众多的电子商务纠纷中,相当一部分是由于电子支付协议本身的缺陷......
不可否认协议可以为网络上实体间的交互行为提供不可抵赖的证据。近年来，电子商务等Intemet应用的发展极大地推动了不可否认协议的......
随着信息时代的发展，人们越来越关注隐私数据的保护，信息安全问题变得越来越突出。安全协议作为网络通信中保证数据安全传输的基石，其......
随着计算机网络应用的不断深入，对安全协议进行分析和研究已经成为信息安全领域的一个十分重要的研究方向。形式化分析由于其精炼、......
电子商务协议是保障电子商务安全的一种重要手段。非否认性和公平性是电子商务协议的重要性质，但相对于认证协议和密钥分配协议的保......
随着计算机网络的广泛应用，计算机网络的安全问题也日益引起人们的重视。在网络安全中，各种安全服务都是基于安全协议的，这使得安全协......
随着计算机网络通信的迅猛发展,网络安全开始被人们所重视,其中安全协议分析验证已成为一个研究热点。对安全协议的分析验证的方法......
公平不可否认协议可以保证通信双方对各自的行为不能进行抵赖,并保证双方的公平性。它使通信双方要么都收到消息及证据,要么都收不......
目前,电子商务中主要采用的安全协议有:安全套接层协议(SSL:SecuritySocket Layer)协议和安全电子交易协议(SET:Secure Electronic......
模型检测是近二十年来最成功的形式化自动验证技术之一。其因自动化程度高,效率高等优点而被广泛应用于并发系统的分析与验证中。......
在大数据时代的背景下,研究人员不断探索数据融合与共享的解决方案。与此同时,网络信息安全也迎来了前所未有的挑战,黑客们乐衷于......
随着网络技术和信息技术的迅速发展,计算机网络在诸多领域内的应用日益普及,然而由于其运行环境具有开放性,使得计算机网络在给人......
随着Web服务技术的发展和应用,具有较高查全率和查准率的语义Web服务的相关问题成为了当前研究的热点。如何高效匹配和发现满足用......
安全协议的设计与验证是信息安全领域中非常重要的内容。形式化方法是安全协议验证的一个强有力的工具。借助自动化工具,应用形式......
安全协议分析和验证在信息安全领域占有重要地位。目前，安全协议形式化方法分析和验证主要集中在对实用性较差的安全协议抽象规范分......
随着传感器技术、微电子系统、现代网络和无线通信技术的飞速发展和日益成熟,无线传感器网络(Wireless Sensor Network,WSN)逐渐被......
随着计算机网络通信的迅猛发展,安全协议的重要性越来越得到重视。安全协议负责密钥分发和身份认证,一旦其自身出现漏洞,那么将会......
随着互联网技术的不断发展和网络用户的爆炸式增长,用户需求和网络应用趋于多元化。一些大型和复杂系统的应用使得现有的数据传输......
目前,大量的安全协议已经被设计出来,如何验证这些协议是否满足声称的安全性是协议设计与分析的一个重要研究领域。为了验证和分析......
随着云计算的发展,由欺诈行为驱动的窃取云资源和云服务的行为日趋严重,导致云计算资源的拥有者、提供商与被提供服务的用户间出现......
“幸好”作为一个语气副词,更确切地说,是评注性副词,表达了说话者对命题或述题的主观态度(张谊生2000,2002)。一般认为,“幸好”......
比特币是一种备受欢迎的电子加密货币,依赖其底层协议提供安全保障。然而,比特币底层协议未被权威机构要求给出专业的安全证明,因......
在信息化高速发展的今天,人们越来越多的使用网络来获知信息,也越来越多的将个人信息提交到网络,社交聊天工具和一些网络应用的普......
当今,物联网技术发展迅速,人们对物联网的研究也在逐渐深入,随着时间的推移,物联网技术会得到越来越多的实际应用。伴随着物联网相......
