国家高技术研究发展计划(2007AA01Z405)

作品数：49被引量：170H指数：6
导出分析报告
相关作者：郭渊博刘伟马建峰袁顺张志军更多>>
相关机构：解放军信息工程大学西安电子科技大学郑州大学江苏大学更多>>
相关期刊：《武汉理工大学学报》《计算机工程与设计》《计算机应用与软件》《计算机应用研究》更多>>
相关主题：容忍入侵安全群组通信密码协议无线传感器网络通用可组合更多>>
相关领域：自动化与计算机技术电子电信航空宇航科学技术农业科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于防篡改硬件模型的UC安全承诺协议被引量：1
《计算机工程》2013年第2期125-129,共5页张妤 阴建强 胡杰 
国家"863"计划基金资助项目(2007AA01Z405)
从通用可组合(UC)框架的基本概念出发,分析UC安全性对承诺协议的要求,得出以下结论:朴素模型中不存在UC安全承诺协议是因为承诺协议的安全需求与UC安全性要求间存在矛盾。在此基础上提出一种基于防篡改硬件模型的UC安全承诺协议UCCOM。...
关键词：承诺协议 通用可组合安全性 防篡改硬件 隐藏性 绑定性 
UC安全计算的一种信任模型被引量：2
《四川大学学报（工程科学版）》2012年第3期106-111,共6页张妤 胡杰 
国家自然科学基金资助项目(60703115);国家"863"计划资助项目(2007AA01Z405)
UC(通用可组合)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对对于UC安全计算的信任模型研究甚少的现状,从使用信任模型的原因入手,分析比较了国外现有的信任模型,指出了各自的优势和存在的问题。在此基础上,提出了一种...
关键词：密码协议 通用可组合 安全计算 承诺协议 信任模型 
SE-DSR:一种安全增强的Mesh网络多径动态源路由协议被引量：2
《计算机工程与科学》2012年第5期18-23,共6页李每虎 郭渊博 
国家863计划资助项目(2007AA01Z405);河南省科技创新杰出青年计划资助项目(104100510025)
DSR协议是一种典型的按需多跳路由协议,能够很好地实现既有网络之间的无缝连接又能适应网络的动态变化。为满足无线Mesh网络需求,在分析DSR协议的基础上,本文提出了一种新的安全增强的无线Mesh网络多径DSR路由协议-SE_DSR协议,其基本思...
关键词：无线Mesh网络 多径路由 安全路由 DSR协议 
通用可组合安全计算的信任模型研究
《计算机应用》2012年第5期1371-1374,共4页张妤 阴建强 胡杰 
国家863计划项目(2007AA01Z405)
通用可组合(UC)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对国内对于UC安全计算的信任模型研究甚少的现状,研究了UC安全性的本质要求及其对UC安全计算的限制,得出了使用这些信任模型的根本原因,进而分析了国外用来刻...
关键词：密码协议 通用可组合 安全计算 基础假定 信任模型 
一般化通用可组合安全框架研究
《计算机工程与设计》2012年第4期1271-1274,1284,共5页张妤 彭亮 
国家863高技术研究发展计划基金项目(2007AA01Z405);河南省科技创新杰出青年基金项目(2007AA01Z405)
分析一般化通用可组合安全框架(GUC框架)解决的关键问题及其机理。在此基础上深入研究实现GUC承诺的一个协议示例,得出GUC框架虽然要求仿真器与现实敌手共用同一个全局可信建立,但是二者对于该全局可信建立的利用程度是不同的。将GUC框...
关键词：密码协议 通用可组合 一般化通用可组合安全分析框架 全局建立假定 信任模型 
一种无线Mesh网络中可证明安全的HMIPv6路由优化方案被引量：1
《计算机科学》2012年第3期62-66,共5页王刚 郭渊博 刘伟 
国家863计划项目(2007AA01Z405);河南省科技创新杰出青年计划项目(104100510025)资助
HMIPv6技术能够实现无线Mesh网络的无缝切换,针对其绑定更新过程中执行路由优化存在的安全问题,提出了一种适用于无线Mesh网络的基于椭圆曲线公钥自认证体制的安全路由优化方案。该方案使用户在执行路由优化的过程中能够实现对绑定更新...
关键词：无线Mesh网络 层次化移动IPv6 绑定更新 路由优化 可证明安全 
UC安全性证明中模拟器构造方法研究
《计算机工程与设计》2012年第3期906-910,共5页张妤 黄周晶 
国家863高技术研究发展计划基金项目(2007AA01Z405);河南省科技创新杰出青年基金项目(104100510025)
在UC模型(通用可组合安全分析模型)中密码协议安全性证明的难点是模拟器的构造,而目前模拟器的构造没有通用有效的方法可循,针对这一问题,提出了一种构造模拟器的通用有效的方法。研究了UC模型的构建原理,分析了UC安全性的本质要求,指...
关键词：密码协议 通用可组合安全分析模型 安全性证明 模拟器 构造方法 
基于Hoare逻辑的密码软件形式化验证系统被引量：2
《计算机工程》2012年第3期121-123,共3页郝耀辉 郭渊博 罗婷 燕菊维 
国家"863"计划基金资助项目"基于规范的容忍入侵中间件关键技术与平台"(2007AA01Z405);河南省科技创新杰出青年计划基金资助项目(104100510025)
在Hoare逻辑理论和ACSL语法规范的基础上,设计一种针对密码软件的形式化验证系统,由程序规范、验证推理规则、可靠性策略、验证推理等模块组成。以OpenSSL中RC4算法的软件实现为例,对其功能正确性、保险性和信息流安全性进行验证,结果表...
关键词：HOARE逻辑 密码软件 形式化验证 程序规范 RC4算法 
一种新的移动IPv6网络层次化安全接入认证机制
《信息工程大学学报》2011年第4期396-399,403,共5页王刚 郭渊博 刘伟 
国家863计划资助项目(2007AA01Z405);河南省科技创新杰出青年计划资助项目(104100510025)
针对无线用户接入认证的安全问题,提出了一种新的移动IPv6网络层次化安全接入认证机制。该机制基于椭圆曲线公钥自认证体制,实现了用户域间域内切换时与接入网络的双向认证,消除了对公钥证书的依赖,并完善了密钥管理机制。最后通过安全...
关键词：移动IPV6 层次化移动IPV6 安全 接入认证 
基于Click的Mesh路由平台设计与实现被引量：1
《通信技术》2011年第7期25-27,共3页李每虎 郭渊博 王洪玉 
河南省科技创新杰出青年计划项目(No.104100510025);863计划(No.2007AA01Z405)
作为一种新型的接入网技术,无线Mesh网络具有组网灵活、适应性强等特点,近年来得到了飞速的发展和关注。然而,对于研究和开发人员来讲,缺乏实际或与实际接近的验证和测试平台,难以确保实验的结论和效果的真实可靠性。在简要介绍无线Mes...
关键词：无线MESH网络 Click软件 DSR路由协议 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部