SPI演算

作品数：20被引量：22H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：韩继红王亚弟孙永强曾小平郑清雄更多>>
相关机构：上海交通大学解放军信息工程大学合肥工业大学西安交通大学更多>>
相关期刊：《计算机仿真》《计算机技术与发展》《计算机工程与设计》《清华大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家杰出青年科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Spi演算的密码协议自动化分析技术研究
《网络安全技术与应用》2018年第3期32-33,共2页江涛 
密码协议可以维护网络通信和其中的各个分布式系统的安全,为了让恶意攻击者无法获取机密信息或者借安全漏洞进行不公平认证,需要对协议所运行的环境安全性进行提升和技术改进。而通过以前的静态分析测试和人工手动验证,对密码协议的所...
关键词：SPI演算 密码协议 自动化 分析技术 
Spi演算的扩展及其对JFKi协议的分析与改进
《计算机工程与设计》2017年第9期2353-2357,共5页汤海婷 汪学明 
国家自然科学基金项目([2011]61163049);贵州省自然科学基金项目(黔科合J字[2014]7641)
为分析和验证JFKi协议的相关属性,对Spi演算的扩展进行研究,利用扩展Spi演算对JFKi密钥交换协议进行形式化分析,证明JFKi协议满足认证性和保密性。然而,JFKi协议在遭到重放攻击后,发起方的身份信息会泄露,且JFKi协议本身的属性让它更容...
关键词：JFKi协议 扩展Spi演算 身份泄露 DOS攻击 协议分析 
基于APDU数据交换协议的安全U盘通信模型被引量：3
《清华大学学报（自然科学版）》2012年第10期1496-1499,共4页吴毓书 张宝峰 张翀斌 许源 饶华一 
安全U盘近年来作为网络安全解决方案中重要的组成部分,承载着用户的重要信息,其可以通过应用协议数据单元(application protocols data units,APDU)与计算机设备通信。该文使用SPI演算对安全U盘与PC间的APDU数据交换协议进行分析显示该...
关键词：安全U盘 应用协议数据单元(application protocols DATA units APDU) SPI演算 
基于Spi演算的安全协议验证被引量：3
《计算机应用与软件》2011年第3期262-264,292,共4页郑清雄 
在安全协议的各种验证方法中,进程代数方法依托完善的进程演算理论得到了很好的应用。Spi演算在PI演算的基础上扩充了密码操作原语来刻画安全协议,并使用测试等价验证安全属性。讨论了利用Spi演算进行验证的过程,并对经典NSSK协议进行...
关键词：安全协议 SPI演算 测试等价 NSSK协议 
基于扩展Spi演算的IKEv2协议形式化分析与改进
《计算机技术与发展》2010年第8期154-158,共5页韩明奎 潘进 刘琼 李波 
国家"863"计划资助项目(2007AA01Z472)
安全性是新一代密钥交换协议的关键,而Spi演算是研究协议安全性的一种形式化方法,文中采用Spi演算研究了IKEv2协议的安全属性。针对Spi演算不能形式化定义Diffie-Hellman密钥交换和密钥生成的问题,扩展了Spi演算的语法和语义。基于扩展...
关键词：IKEV2协议 SPI演算 DIFFIE-HELLMAN密钥交换 身份保护 
spi演算证明协议非可否认性被引量：1
《通信学报》2009年第5期94-98,共5页李援 蒋建国 王焕宝 
国家自然科学基金资助项目(60474035);国家教育部博士点基金资助项目(20060359004)~~
spi演算以进程代数理论作为基础,适合多轮并发条件下安全协议的证明。通过在spi系统中引入消息起源测试成功表示了签名消息的安全语义,并在此基础上验证了ZG协议的非可否认性,扩展了spi演算在安全协议证明中的应用范围。
关键词：SPI演算 非可否认 公平性 消息起源测试 
新的域间身份认证协议及其形式化验证被引量：2
《计算机工程与设计》2007年第23期5601-5603,共3页宋震 李斌 窦文华 
国家自然科学基金项目(0312001800)
Internet上不同的安全域间要实现信息资源的安全访问首先需要认证。目前常用的认证协议是Kerberos协议,但在网络环境下,该协议无法对真实的客户端进行认证。因此,给出了新的域间身份认证协议以及相应的"现时"产生方案,并利用改进的Spi...
关键词：KERBEROS协议 SPI演算 域间身份认证 
SPI演算规范的建模、实现验证研究被引量：1
《计算机科学》2007年第10期80-83,共4页徐东红 齐勇 侯迪 
国家自然科学基金(No.60473098);国家高技术研究发展计划(863)(No.2004AAll2040)资助
针对安全协议安全属性是否满足,缺乏有效性能评价方法的现状,大都使用SPI演算或相近的进程代数方法进行建模。利用这种方法不仅能够有效地形式化描述安全协议,并且能够对安全协议进行多方面的系统评价,但基本上没有说明怎么样寻找设计...
关键词：形式化方法 进程代数 安全协议 SPI演算 应用程序接口(API) 
多重集合重写与Spi演算的安全协议分析方法
《信息工程大学学报》2007年第2期165-170,187,共7页王全来 王亚弟 韩继红 
军队科研基金资助项目
当形式化描述安全协议时,不同的规范语言采用不同的推理方法,其结果不能直接或容易地进行比较,因此在不同的框架中建立明确的关联是必要的。论文在多重集合重写MSR和Spi演算的形式化规范之间建立关联,并定义了一种双射;提出和证明了MSR...
关键词：安全协议分析 多重集合重写 SPI演算 一致性关系 
一种基于扩展Spi演算的类型系统
《计算机工程与应用》2007年第3期131-134,138,共5页袁霖 王亚弟 韩继红 
主要探讨了使用非形式化的原理和形式化的规则来获得密码协议安全属性的方法。这些原理和规则基于传统的等级和信息流的思想,通过将其扩展后用来处理密码协议中的并发进程。提出的规则是基于Spi演算扩展语法的一种类型规则。通过这些规...
关键词：类型系统 密码协议 保密性 类型规则 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部