检索结果-维普期刊中文期刊服务平台

基于GDE 3算法的红外低轨星座设计被引量：5: 1; 作者王春明陈曦邓勇《北京航空航天大学学报》 EI CAS CSCD 北大核心 2010年第7期857-861,866,共6页; 针对红外低轨系统,综合考虑定位精度、空间覆盖以及星座成本等因素,提出了红外低轨星座的设计准则,并定义星座性能的度量指标.然后,引入GDE 3算法用于红外低轨星座设计,该方法基于Pareto最优概念,能够得到多个最优解,适于多目标优化设计... 展开更多; 关键词星座设计定位精度空间覆盖 GDE3算法; 在线阅读下载PDF 职称材料

移动代理完整性协议形式化分析方法研究被引量：2: 2; 作者李鹏飞马恒太 +1 位作者侯玉文邱田《电子学报》 EI CAS CSCD 北大核心 2009年第8期1669-1674,共6页; 本文给出了移动代理协议数据完整性属性的定义,指出了采用传统认证性属性来分析移动代理数据完整性属性的不足,从而给出了移动代理完整性证明的两个形式化规约:数据完整性规约和序列完整性规约.在此基础上,针对典型协议实例进行CPS建模... 展开更多; 关键词移动代理数据完整性形式化方法形式化模型; 在线阅读下载PDF 职称材料

一种离线TTP公平非否认协议的安全性分析方法被引量：2: 3; 作者刘冬梅卿斯汉 +1 位作者马恒太李树仁《计算机研究与发展》 EI CSCD 北大核心 2011年第4期656-665,共10页; 给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认... 展开更多; 关键词离线TTP 公平非否认协议公平性非否认性时效性; 在线阅读下载PDF 职称材料

一种基于适应度函数遗传算法的公平交换协议自动生成方法被引量：2: 4; 作者刘冬梅卿斯汉 +1 位作者侯玉文李鹏飞《电子学报》 EI CAS CSCD 北大核心 2010年第5期1089-1094,共6页; 基于现有协议自动生成方法无法直接用于公平交换协议,我们对Clark-Jacob方法进行了扩展,针对公平交换协议的设计空间特征,获得公平性判定模型,模型引入通信信道类型编码,并将主体拥有集合和主体信念集合相分离来完成协议生成过程中消息... 展开更多; 关键词公平交换协议协议自动生成公平性; 在线阅读下载PDF 职称材料

新颖的移动代理动态数据完整性保护协议被引量：1: 5; 作者李鹏飞卿斯汉 +1 位作者马恒太邓勇《通信学报》 EI CSCD 北大核心 2007年第8期1-10,共10页; 通过引入攻击者能力来对完整性的强弱进行划分和定义,在此基础上,分析了合谋情况下对动态数据进行截断攻击的问题,并给出了一个新颖的移动代理数据保护协议,该协议通过引入反向签名机制,形成一条从源节点到当前节点的信任链,实现对漫游... 展开更多; 关键词移动代理自由漫游抗截断攻击数据完整性; 在线阅读下载PDF 职称材料

ZG离线TTP公平非否认协议的安全性分析及改进被引量：1: 6; 作者刘冬梅卿斯汉 +1 位作者李鹏飞李尚杰《通信学报》 EI CSCD 北大核心 2009年第S2期44-51,共8页; 对ZG离线TTP(trusted third party)公平非否认协议及其一种改进方案进行了分析,针对原协议因引入协议有效期而存在消息延迟攻击的问题以及改进方案存在子协议被滥用的问题,提出2种新的改进方案。2种方案侧重点不同,分别适用于不同的场景... 展开更多; 关键词公平非否认协议非否认性公平性时限量; 在线阅读下载PDF 职称材料

题名基于GDE 3算法的红外低轨星座设计被引量：5: 1; 作者王春明陈曦邓勇; 机构国防科技大学电子科学与工程学院中国科学院综合信息系统技术国家级重点实验室; 出处《北京航空航天大学学报》 EI CAS CSCD 北大核心 2010年第7期857-861,866,共6页; 基金中国科学院支撑技术资助项目(K6GF735979); 文摘针对红外低轨系统,综合考虑定位精度、空间覆盖以及星座成本等因素,提出了红外低轨星座的设计准则,并定义星座性能的度量指标.然后,引入GDE 3算法用于红外低轨星座设计,该方法基于Pareto最优概念,能够得到多个最优解,适于多目标优化设计.通过星座建模和目标函数设计,进行了仿真实验.最后验证了设计得到的星座在多项性能指标上均优于已有文献中的星座.; 关键词星座设计定位精度空间覆盖 GDE3算法; Keywords constellation design location precision space coverage GDE 3 algorithm; 分类号 V57 [航空宇航科学与技术—航空宇航推进理论与工程] TN911 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名移动代理完整性协议形式化分析方法研究被引量：2: 2; 作者李鹏飞马恒太侯玉文邱田; 机构中国科学院综合信息技术国家级重点实验室中国科学院软件研究所中国科学院研究生院天津大学电子信息学院; 出处《电子学报》 EI CAS CSCD 北大核心 2009年第8期1669-1674,共6页; 基金国家自然科学基金(No.60573042) 中国科学院创新基金(No.CXJJ251); 文摘本文给出了移动代理协议数据完整性属性的定义,指出了采用传统认证性属性来分析移动代理数据完整性属性的不足,从而给出了移动代理完整性证明的两个形式化规约:数据完整性规约和序列完整性规约.在此基础上,针对典型协议实例进行CPS建模,并采用阶函数的方法证明了其完整性,验证了完整性规约的正确性和有效性.; 关键词移动代理数据完整性形式化方法形式化模型; Keywords mobile agents data integrity path integrity formal analysis formal model; 分类号 TP309.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种离线TTP公平非否认协议的安全性分析方法被引量：2: 3; 作者刘冬梅卿斯汉马恒太李树仁; 机构中国科学院软件研究所基础软件国家工程研究中心中国科学院研究生院北京大学软件与微电子学院中国科学院综合信息技术国家级重点实验室中国科学院计算机网络信息中心; 出处《计算机研究与发展》 EI CSCD 北大核心 2011年第4期656-665,共10页; 基金国家自然科学基金项目(60970135) 国家科技支撑计划重点项目(2006BAC18B06) 中国科学院知识创新工程重要项目(KGCX2-YW-125); 文摘给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认性和有效性进行分析;通过扩展Kailar逻辑,增加时间相关限定词来表述协议的执行序列,用协议执行序列来表达和分析协议的公平性和时效性.利用该方法,对两种公平非否认协议进行分析,分析的结果表明CCD不符合公平性,而ZG的时效性不能够得到满足.; 关键词离线TTP 公平非否认协议公平性非否认性时效性; Keywords off-line TTP fair non-repudiation protocol fairness non repudiation timeliness; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种基于适应度函数遗传算法的公平交换协议自动生成方法被引量：2: 4; 作者刘冬梅卿斯汉侯玉文李鹏飞; 机构中国科学院软件研究所基础软件国家工程研究中心中国科学院研究生院中国科学院软件研究所信息安全技术工程研究中心中国科学院综合信息技术国家级重点实验室; 出处《电子学报》 EI CAS CSCD 北大核心 2010年第5期1089-1094,共6页; 基金国家自然科学基金(No.60970135) 中国科学院知识创新工程重要方向项目(No.K9YC215652); 文摘基于现有协议自动生成方法无法直接用于公平交换协议,我们对Clark-Jacob方法进行了扩展,针对公平交换协议的设计空间特征,获得公平性判定模型,模型引入通信信道类型编码,并将主体拥有集合和主体信念集合相分离来完成协议生成过程中消息的衍生和目标的判定,指出公平性包含的局部目标和全局目标,利用基于适应度函数的遗传优化算法,对用二进制表示的协议空间进行优化搜索,获得满足目标的协议,并通过实例说明文中方法的可行性.; 关键词公平交换协议协议自动生成公平性; Keywords fair exchange protocol security protocol automatic generation fairness; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名新颖的移动代理动态数据完整性保护协议被引量：1: 5; 作者李鹏飞卿斯汉马恒太邓勇; 机构中国科学院综合信息技术国家级重点实验室中国科学院软件研究所; 出处《通信学报》 EI CSCD 北大核心 2007年第8期1-10,共10页; 基金国家安全重大基础研究项目(5130103) 国家自然科学基金资助项目(60573042) +1 种基金北京市自然科学基金资助项目(4052016)~~; 文摘通过引入攻击者能力来对完整性的强弱进行划分和定义,在此基础上,分析了合谋情况下对动态数据进行截断攻击的问题,并给出了一个新颖的移动代理数据保护协议,该协议通过引入反向签名机制,形成一条从源节点到当前节点的信任链,实现对漫游路径的完整性保护,很好地解决了合谋情况下对动态数据的截断攻击,为自由漫游移动代理提供了更强的完整性保护。还使用形式化方法对协议的安全属性进行了分析验证。; 关键词移动代理自由漫游抗截断攻击数据完整性; Keywords mobile agents free-roaming truncation resilience data integrity; 分类号 TP309.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名ZG离线TTP公平非否认协议的安全性分析及改进被引量：1: 6; 作者刘冬梅卿斯汉李鹏飞李尚杰; 机构中国科学院软件研究所基础软件国家工程研究中心中国科学院研究生院中国科学院软件研究所信息安全技术工程研究中心中国科学院综合信息技术国家级重点实验室; 出处《通信学报》 EI CSCD 北大核心 2009年第S2期44-51,共8页; 基金国家自然科学基金资助项目(60573042) 国家高技术研究发展计划("863"计划)基金资助项目(2007AA01217903)~~; 文摘对ZG离线TTP(trusted third party)公平非否认协议及其一种改进方案进行了分析,针对原协议因引入协议有效期而存在消息延迟攻击的问题以及改进方案存在子协议被滥用的问题,提出2种新的改进方案。2种方案侧重点不同,分别适用于不同的场景,能够保证非否认性和公平性的同时,避免消息延迟攻击和子协议被滥用。第一种方案适合于对协议效率要求比较高,而且协议被滥用不会影响参与协议主体的利益的情况;第二种方案可用于需要防止子协议被滥用的情况。; 关键词公平非否认协议非否认性公平性时限量; Keywords fair non-repudiation protocol non-repudiation fairness timeliness; 分类号 TP393.04 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于GDE 3算法的红外低轨星座设计	王春明陈曦邓勇	《北京航空航天大学学报》 EI CAS CSCD 北大核心	2010	5	在线阅读下载PDF 职称材料
2	移动代理完整性协议形式化分析方法研究	李鹏飞马恒太侯玉文邱田	《电子学报》 EI CAS CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
3	一种离线TTP公平非否认协议的安全性分析方法	刘冬梅卿斯汉马恒太李树仁	《计算机研究与发展》 EI CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
4	一种基于适应度函数遗传算法的公平交换协议自动生成方法	刘冬梅卿斯汉侯玉文李鹏飞	《电子学报》 EI CAS CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料
5	新颖的移动代理动态数据完整性保护协议	李鹏飞卿斯汉马恒太邓勇	《通信学报》 EI CSCD 北大核心	2007	1	在线阅读下载PDF 职称材料
6	ZG离线TTP公平非否认协议的安全性分析及改进	刘冬梅卿斯汉李鹏飞李尚杰	《通信学报》 EI CSCD 北大核心	2009	1	在线阅读下载PDF 职称材料