博士科研启动基金(BS14200901)

作品数：11被引量：54H指数：4
导出分析报告
相关作者：冯涛马建峰郭显袁占亭柯铭更多>>
相关机构：兰州理工大学西安电子科技大学福建师范大学甘肃联合大学更多>>
相关期刊：《电子与信息学报》《东南大学学报（自然科学版）》《电子学报》《微电子学与计算机》更多>>
相关主题：逻辑安全协议组合部分盲签名PKG密钥托管更多>>
相关领域：自动化与计算机技术电子电信哲学宗教医药卫生更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种改进的基于RFID中间件的冗余数据清洗算法被引量：10
《微电子学与计算机》2013年第7期154-158,共5页陈旭辉 王馨 柯铭 
国家自然科学基金项目(61065007,61263047);甘肃省自然科学基金(0916RJZA020);兰州理工大学博士基金(BS14200901)
针对RFID中间件冗余数据处理问题,提出一种改进的基本临近有序法(SNM)算法.通过对大量RFID数据进行分组,采用随机因子改变窗口大小对数据进行清洗,并在算法的实现过程中采用循环处理方式.经实验证明该改进算法能有效提高数据处理效率,...
关键词：RFID中间件 冗余数据 数据清洗 SNM算法 
癫痫患者默认网络的静息态功能磁共振成像研究被引量：3
《中国临床心理学杂志》2013年第3期363-367,共5页张喆 柯铭 刘光耀 杨晓萍 陈旭辉 
国家自然科学基金项目(61065007,61263047);甘肃省自然科学基金(0916RJZA020);兰州理工大学博士基金项目(BS14200901)
目的:分析癫痫患者静息态fMRI下默认网络及其潜在结构的变化。方法:对15名临床诊断为原发全身强直痉挛癫痫患者和20名正常志愿者静息态时的fMRI数据进行独立成分分析,依据空间最佳匹配原则挑选独立成分,研究正常被试和癫痫患者的默认网...
关键词：癫痫 静息态 默认网络 功能连接 层次化结构 
编码感知多跳无线网络安全路由协议被引量：4
《通信学报》2012年第6期133-142,共10页郭显 冯涛 袁占亭 
国家自然科学基金资助项目(60972078);甘肃省高等学校基本科研业务费基金资助项目(0914ZTB186);兰州理工大学博士基金资助项目(BS14200901);甘肃省自然科学基金资助项目(1014RJZA005)~~
分析了网络编码系统DCAR"编码+路由"发现过程存在的安全问题,提出了适用于编码感知安全路由协议的安全目标,设计了基于DCAR的编码感知安全路由协议DCASR,DCASR协议利用密码学机制保证可信路由建立和正确编码机会发现。为建模多跳无线网...
关键词：多跳无线网络 安全路由协议 DCAR 形式化方法 LS2逻辑 
可证安全的无证书盲代理重签名被引量：4
《通信学报》2012年第S1期58-69,78,共13页冯涛 梁一鑫 
国家自然科学基金资助项目(60972078;61072066);甘肃省高等学校基本科研业务费基金资助项目(0914ZTB186);甘肃省自然科学基金资助项目(2007GS04823);兰州理工大学博士基金资助项目(BS14200901)~~
利用双线性群,在代理重签名机制和盲签名机制的基础上,提出了一个有效的无证书盲代理重签名方案。方案中解决了密钥托管问题及证书管理带来的额外开销,同时实现了代理者在签名转换中消息隐私特性。基于NGBDH问题和Many-NGBDH的困难性,...
关键词：无证书密码系统 代理重签名 盲签名 双线性映射 
协议组合逻辑安全的4G无线网络接入认证方案被引量：9
《通信学报》2012年第4期77-84,共8页王丽丽 冯涛 马建峰 
国家高技术研究发展计划("863"计划)基金资助项目(2007AA01Z429);国家自然科学基金资助项目(60972078);甘肃省高等学校基本科研业务费基金资助项目(0914ZTB186);甘肃省自然科学基金资助项目(2007GS04823);兰州理工大学博士基金资助项目(BS14200901);网络安全与密码技术福建省高校重点实验室开放课题基金资助项目(09A006)~~
针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明。通过安全性证明和综合分析,表明该方案...
关键词：自证实公钥 协议组合逻辑 协议演绎系统 认证协议 4G 
基于本体的拜占庭攻击的建模及检测被引量：1
《中国科学院研究生院学报》2011年第5期696-705,共10页冯涛 孙冠男 夏彦晖 马建峰 
国家技术研究发展计划(863)基金(2007AA01Z429);国家自然科学基金(60972078);甘肃省自然科学基金(2007GS04823);甘肃省高等学校基本科研业务费(0914ZTB186);兰州理工大学博士基金(BS14200901)资助
通过对拜占庭攻击的详细分析,根据其特征提出了基于本体论的拜占庭攻击模型.该模型从概念类、关系、推理3个方面对拜占庭攻击进行了描述,实现了对拜占庭攻击概念的通用表达,以及各节点之间的信息共享与协同合作.最后以一类特殊的拜占庭...
关键词：拜占庭攻击 本体 攻击检测 
伯努利节点网络模型的拓扑鲁棒性分析方法被引量：3
《电子学报》2011年第7期1673-1678,共6页冯涛 李洪涛 袁占亭 马建峰 
国家863高技术研究发展计划基金(No.2007AA01Z429);国家自然科学基金(No.60972078);甘肃省高等学校基本科研业务费基金(No.0914ZTB186);甘肃省自然科学基金(No.2007GS04823);兰州理工大学博士基金(No.BS14200901);网络安全与密码技术福建省高校重点实验室开放课题(No.09A006)
基于网络连通和恢复能力提出连接鲁棒性和恢复鲁棒性两种测度指标,根据随机故障和恶意攻击两种网络失败类型将连接鲁棒性分为随机故障鲁棒性和恶意攻击鲁棒性,将恢复鲁棒性分为随机故障节点恢复鲁棒性、随机故障边恢复鲁棒性、恶意攻击...
关键词：无线通信网络 连接鲁棒性 恢复鲁棒性 伯努利节点模型 
用逻辑方法验证移动Ad Hoc网络协议被引量：1
《东南大学学报（自然科学版）》2011年第2期258-265,共8页郭显 冯涛 袁占亭 马建峰 
国家高技术研究发展计划(863计划)资助项目(2007AA01Z429);国家自然科学基金资助项目(60972078);甘肃省高等学校基本科研业务费资助项目(0914ZTB186);兰州理工大学博士基金资助项目(BS14200901);网络安全与密码技术福建省高校重点实验室开放课题资助项目(09A006);甘肃省自然科学基金资助项目(1014RJZA005)
针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行...
关键词：AD HOC网络 形式逻辑 网络迹 移动IP注册协议 
协议组合逻辑安全的WiMAX无线网络认证协议被引量：6
《电子与信息学报》2010年第9期2106-2111,共6页冯涛 张子彬 马建峰 
国家高技术研究发展计划(863)(2007AA01Z429);国家自然科学基金(60702059;60972078);甘肃省自然科学基金(2007GS04823);网络安全与密码技术福建省高校重点实验室开放课题(09A006);兰州理工大学博士基金(BS14200901)资助课题
国际标准IEEE802.16e-2005中PKMv2协议的安全性是WiMAX无线网络安全的重要保证。论文基于协议组合逻辑(PCL)分析了PKMv2协议中认证协议的安全性,发现PKMv2安全认证协议存在交错攻击,在此基础上基于协议演绎系统(PDS)提出了一种新的WiMA...
关键词：无线网络 认证协议 协议演绎系统 协议组合逻辑 WIMAX 
安全的无可信PKG的部分盲签名方案被引量：13
《通信学报》2010年第1期128-134,共7页冯涛 彭伟 马建峰 
国家高技术研究发展计划("863"计划)基金资助项目(2007AA01Z429);国家自然科学基金资助项目(60972078);甘肃省高等学校基本科研业务费基金资助项目(0914ZTB186);甘肃省自然科学基金资助项目(2007GS04823);兰州理工大学博士基金资助项目(BS14200901);网络安全与密码技术福建省高校重点实验室开放课题(09A006)~~
利用gap Diffie-Hellman(GDH)群,在部分盲签名机制的基础上,提出了一个有效的基于身份的无可信私钥生成中心(PKG,private key generator)的部分盲签名方案。方案中PKG不能够伪造合法用户的签名,因为它只能生成一部分私钥。在随机预言模...
关键词：基于身份的签名 密钥托管 双线性对 部分盲签名 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部