公共文化服务平台

搜索到332篇“ 串空间“的相关文章

特高压线路大吨位耐张串空间姿态模拟研究: 2022年; 特高压输电线路工程中,大吨位耐张绝缘子串由于其绝缘性能及机械强度的要求,绝缘子的重量和整串长度与低电压等级线路相比都有明显提高,导致其重量对连续档内的导线张力和应力弧垂产生一定影响。因此,在特高压输电线路工程设计中,需要模拟并呈现出实际情况的耐张串空间姿态,以减小实际工程的误差,提高设计精细化水平。对特高压线路大吨位耐张串空间姿态模拟研究中,大吨位耐张串可看作悬链线分布,文章采用了悬链线方程和微元的思想,对耐张串上每一个部件进行求解受力分析后,求出每一个部件之间的相对角度,确定每一个部件的空间姿态,得到大吨位耐张串的整体姿态。; 韩念遐刘培杰姚俊彪; 关键词：特高压线路微分递归受力分析

基于串空间的安全协议形式化分析研究被引量：4: 2020年; 安全协议是信息安全领域的重要组成部分,随着新兴技术的快速发展,安全协议变得越来越复杂,给安全协议的形式化分析带来了挑战。近年来,基于串空间理论的形式化分析方法是一个研究热点,在安全协议分析领域得到了广泛的关注和研究,并取得了一定的成果。文章扩展了串空间理论,提出了匹配串、匹配结点、同一执行丛等概念,并基于扩展的串空间理论形式化分析了基于区块链的公平多方不可否认协议,发现了该协议的不能满足公平性的缺陷。; 姚萌萌唐黎凌永兴肖卫东; 关键词：串空间形式化分析安全协议区块链

基于串空间的异构社交网络属性并行验证仿真: 2020年; 社交网络数据量庞大,易产生状态爆炸,提出了基于串空间的异构社交网络属性并行验证。串空间结构的内在特点可有效降低网络状态爆炸,设置有向图表示异构社交网络;对异构社交网络中的链路信息实行规则预处理,将规则划分为不同等价类,并在串空间的基础上构建网络转发图,利用可达性分析算法计算详细路径信息,从而实现网络属性并行验证。通过仿真,对异构社交网络属性进行非实时属性、实时属性、TCP建立时间的验证,并与传统验证方法对比,所提方法TCP建立的时间提高幅动小,数据集数量分布,符合社交网络的一般特性。; 王战红李鹏程; 关键词：串空间可达性分析

一种面向WSN的双向身份认证协议及串空间模型被引量：10: 2019年; 随着工业互联网、智慧农业、智能家居等领域的发展,无线传感网络(WSN)得到了更广泛的应用,但安全问题也随之凸显。针对无线传感网络中传感器节点易失效、能量和计算存储能力受限等问题,构建了一种基站与传感器节点间的基于状态信息的双向身份认证协议,其能在满足无线传感网络轻量级和低成本要求的同时确保安全性。协议首先在节点接入阶段基于可信网络连接进行平台可信情况的认证,以验证节点的可信情况并实现节点的加密注册。然后在运行阶段通过重要数据双向认证过程对重要数据的传输过程进行保护,利用定时更新认证确认传感器节点的状态和可靠性。协议允许基站定时检测节点的运行状态信息,及时监测到节点的物理损坏,并利用节点的运行状态信息进行认证,以进一步增强协议的安全性。同时,该协议还引入了报警机制,该机制可以区分通信错误、节点的物理损坏以及攻击者攻击。本协议降低了认证过程的通信量,引入的报警消息可以增强排障能力。利用串空间模型对协议进行形式化分析,证明了协议的安全性。最后通过实验验证了设计的双向身份认证协议能提供较好的安全性,而且发送数据增加的延迟时间在可接受的范围内,网络可扩展性好。所提方案能够加强网络接入安全并且有效防御来自节点系统内部的攻击,具有较好的应用价值。; 刘静赖英旭杨胜志Lina Xu; 关键词：身份认证协议无线传感器网络串空间模型

基于伪ID的RFID认证协议及串空间证明被引量：8: 2017年; 安全有效的认证协议是对RFID系统安全的有力保障,适宜的形式化分析方法能为RFID认证协议提供有效的证明。设计了基于伪ID的RFID认证协议,伪ID由标签ID、标签认证数值和随机数产生。标签ID不出现在协议执行过程中,减少了系统遭受攻击的可能性。协议通过标签ID、标签认证值和随机数的Hash运算实现认证。利用串空间模型对协议进行形式化分析,建立认证协议的串空间模型丛图,证明了协议的保密性和匿名性。通过分析常规的基于Hash函数的认证协议的性能可知,该协议在使用较低运算成本的情况下可以抵抗多种攻击,并能够完成标签和读写器之间的双向认证。; 徐扬苑津莎高会生胡晓宇赵振兵; 关键词：RFID HASH 串空间

基于串空间模型的认证测试方法: 2015年; 串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.; 张玲玲谢圣献贾仰理; 关键词：安全协议串空间模型

基于串空间的可信计算协议分析被引量：12: 2015年; 可信计算技术能为终端、网络以及云计算平台等环境提供安全支撑,其本身的安全机制或者协议应该得到严格的形式化证明.该文基于串空间模型对其远程证明协议进行了分析.首先,扩展了串空间的消息代数和攻击者串,使其能表达可信计算相关的密码学操作,并对衍生的定理进行了证明;并且提出了4个新的认证测试准则,能对协议中的加密、签名、身份生成和哈希等组件进行推理.其次,基于扩展的串空间模型对远程证明协议的安全属性(隐私性、机密性和认证性)进行了抽象和分析.最后,给出了对发现攻击的消息流程,并基于ARM开发板对其中的布谷鸟攻击进行了实现,验证了串空间的分析结果.; 冯伟冯登国; 关键词：可信计算远程证明串空间形式化验证

基于串空间理论的安全协议自动验证被引量：1: 2015年; 针对目前串空间理论依赖分析人员主观判断、无法使用自动化工具进行验证的问题,提出了基于串空间理论的协议认证属性标准化验证过程。首先为协议消息项定义类型标签,对串空间及认证测试理论进行扩展;然后通过判断测试元素出现位置、检验测试元素参数一致性、确认变换进行边唯一存在性和检验目标串参数一致性,将基于串空间理论的协议验证过程标准化为可程序实现的步骤。该算法的时间复杂度为O(n2),避免了模型检测方法的状态空间爆炸问题,并在此基础上实现了安全协议认证属性的自动化验证工具。以BAN-Yahalom协议和TLS 1.0握手协议为例进行了标准化的分析验证,找到了对BAN-Yahalom协议的一种新攻击形式。该攻击无需限制服务器对随机数的检查,比Syverson发现的攻击更具普遍性。; 刘家芬; 关键词：串空间安全协议自动化验证

基于串空间模型的云计算安全接入及存储机制研究: 云计算作为一个虚拟化，大规模的分布式计算模式，给企业乃至个人提供了一个数据存储的第三方平台，减轻了本地的存储负担，带来了巨大的便利。存储在云中的数据不仅可以自存自取，也可以通过设置权限给符合要求的用户登录获取。近几年云计...; 陈南; 关键词：云计算安全接入串空间模型密钥交换协议; 文献传递

基于串空间认证测试的DTLS协议认证性分析被引量：4: 2014年; 网络通信的普及和发展使得对网络协议尤其是安全协议的需求日益增长,同时安全要求及攻击方式的多样化对网络安全协议的效率和准确性提出了更高的要求。通过对各种协议安全性分析方法进行研究,采用串空间方法对DTLS协议进行形式化建模,进而采用认证测试方法进行协议认证性证明,用简明清晰的方式验证DTLS协议的认证性,保障了数据传输的安全。; 泰彬彬王俊芳; 关键词：协议安全性分析串空间

加载更多 ∨

相关作者

用户反馈

相关作者

用户登录

用户反馈