密码协议分析

作品数：15被引量：22H指数：2
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：张广胜陈克非来学嘉程正杰王全来更多>>
相关机构：山东科技大学上海交通大学山东大学解放军信息工程大学更多>>
相关期刊：《贵州工程应用技术学院学报》《系统仿真学报》《信息安全与通信保密》《电子科技文摘》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划陕西省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
“2017第三届全国密码技术竞赛”在京举行
《信息网络安全》2018年第1期95-95,共1页
2017年11月25日,“2017第三届全国密码技术竞赛”总决赛在北京铁道大厦举行.经过近2个小时的激烈角逐,经由中国工程院院士蔡吉人,著名密码专家刘平等20余位国内密码专家学者组成的评审团现场打分评审,最终评选信息工程大学代表队“诗洒...
关键词：密码技术 竞赛 中国工程院院士 密码协议分析 专家学者 信息工程 获奖作品 评审 
密码协议分析的逻辑方法及其哲学意蕴
《贵州工程应用技术学院学报》2017年第6期63-68,共6页程华清 
逻辑方法是密码协议分析中具有代表性的形式化方法。从已有文献的技术成果出发,以经典的类BAN逻辑作为主要对象,把逻辑方法在密码协议分析上与经验方法和计算方法分别进行比较。通过这种比较,分析了类BAN逻辑方法在分析结论的全面性、...
关键词：类BAN逻辑 密码协议分析 计算主义 
基于细粒度新鲜性的密码协议分析
《北京大学学报（自然科学版）》2010年第5期763-770,共8页程正杰 陈克非 来学嘉 
国家自然科学基金(60973111;60903189);国家高技术研究发展计划专项经费(2009AA01Z418);国家重点基础研究发展计划项目(2007CB311201)资助
对新鲜性进行了细粒度的定义,并将新鲜性和秘密性结合,完善了基于新鲜性原则的密码协议分析方法。区分了不同主体产生的新鲜性标识符的可信任新鲜性,并对私有秘密和共享秘密给予了更准确的解释。改进后的基于新鲜性原则的密码协议分析...
关键词：密码协议 新鲜性 秘密性 
基于面向对象时间Petri网的密码协议分析被引量：2
《计算机工程》2009年第13期156-159,共4页刘雪艳 吴慧欣 张强 王彩芬 
国家自然科学基金资助项目(10702065);陕西省自然科学基金资助项目(2005F45);西北师大数信学院青年教师基金资助项目
利用面向对象技术和时间Petri网的优点,提出一种基于面向对象时间Petri网的密码协议分析方法。该方法可以降低建模复杂性和计算复杂性,提高建模效率,实现时间Petri网的高度模块化,能更好地适应密码协议分析过程中的重组和扩充。实例分...
关键词：面向对象时间Petri网 密码协议 TMN协议 抑制弧 
密码协议分析的信任多集方法被引量：5
《软件学报》2009年第11期3060-3076,共17页董玲 陈克非 来学嘉 
国家自然科学基金No.90704004;国家高技术研究发展计划(863)Nos.2006AA01Z422; 2009AA01Z418~~
提出了一种基于逻辑的信任多集方法,它与已有的密码协议安全性分析方法本质上不同:每个参与主体建立的新信任只应依赖于该主体已拥有的信任和接收或发送的包含了信任的新鲜性标识符的消息本身.在基于匹配对话和不可区分性的计算模型下,...
关键词：密码协议 安全性分析 形式化方法 自动化 
密码协议形式化分析的计算合理性被引量：1
《微计算机信息》2007年第24期50-52,共3页王全来 王亚弟 韩继红 
国家973重点基础研究发展规划资助项目(TG1999035801)
基于Abadi-Rowgaway的形式化加密的计算合理性定理,论文提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议的分析,说明本文的定理对协议的可选择攻击具有较强的分析能力,论文提出了群密钥分配协议的形式化方法与...
关键词：形式化方法 计算方法 合理性定理 密码协议分析 
密码协议形式化分析的计算合理性被引量：1
《计算机工程与应用》2007年第21期8-11,共4页王全来 王亚弟 韩继红 
国家重点基础研究发展规划(973)(the National Grand Fundamental Research 973 Program of China under Grant No.TG1999035801)。
基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议安全性的分析,说明定理对协议的可选择攻击具有较强的分析能力,提出了群密钥分配协议的形式化方法与计算方法...
关键词：形式化方法 计算方法 合理性定理 密码协议分析 
基于Petri网的密码协议分析被引量：2
《计算机工程与科学》2006年第2期24-27,共4页王剑 唐朝京 张权 张森强 
国家863计划资助项目(863-307-7-5)
在Federico提出的一种密码协议进程语言的基础上,建立了便于进行密码协议分析的简化Petri网模型,给出了协议满足秘密性的充要条件,并以NS公钥协议为例,用Petri网模型,结合归纳方法和串空间分析方法从密钥、新鲜数和协议主体三个方面的...
关键词：PETRI网 事件 秘密性 
WTLS握手协议的形式化验证被引量：1
《信息安全与通信保密》2005年第7期291-295,共5页刘璟 祝世雄 周明天 
目前还未见到公开发表的对WTLS握手协议进行形式化分析的研究成果。本文首次使用密码协议分析工具集AVISPA,从机密性和鉴别两个方面,对WTLS握手协议进行了建模和验证。所得到的验证结果表明WTLS握手协议是安全的。
关键词：握手协议 WTLS 形式化验证 AVISPA 密码协议分析 形式化分析 研究成果 工具集 机密性 
基于时延Petri网的密码协议分析及性能评估被引量：1
《计算机工程与应用》2003年第30期158-161,共4页张广胜 
国家自然科学基金资助课题(编号:60173053)
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入,针对这一现状,该文提出用时延Petri网来表示和分析密码协议。该模型不但能够反映协议的静态和动态...
关键词：密码协议 形式化分析 时延PETRI网 BAN逻辑 认证协议 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部