国家科技重大专项(2011ZX03005-002)

作品数：67被引量：402H指数：11
导出分析报告
相关作者：马建峰熊金波刘西蒙李琦姚志强更多>>
相关机构：西安电子科技大学福建师范大学中国科学院贵州大学更多>>
相关期刊：《仪器仪表学报》《西安交通大学学报》《电子元件与材料》《通信学报》更多>>
相关主题：无线传感器网络访问控制博弈论可证明安全物联网更多>>
相关领域：自动化与计算机技术电子电信理学文化科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
服务组合中保障公平性的信誉传播算法
《西安电子科技大学学报》2016年第2期70-76,共7页张涛 马建峰 莫若 李琦 习宁 
长江学者和创新团队发展计划资助项目(IRT1078);国家自然科学基金委员会-广东联合基金重点基金资助项目(U1135002);国家科技部重大专项资助项目(2011ZX03005-002);国家自然科学基金资助项目(61370078)
在面向服务的环境中,服务的不透明性、组合结构的复杂性以及用户评价的主观性使得用户难以对组件服务进行有效的信誉评估.针对此问题,提出适用于服务组合的信誉传播算法,将复合服务的信誉评估值公平地传播到各个组件服务.首先,将复合服...
关键词：面向服务的架构 服务组合 WEB服务 信誉传播 公平性 
面向服务移动社交网络中基于信任的分布式服务组合方法被引量：11
《电子学报》2016年第2期258-267,共10页张涛 马建峰 习宁 刘西蒙 熊金波 
国家自然科学基金重点资助项目(No.U1405255;No.U1135002);国家自然科学基金(No.61370078);国家科技部重大专项(No.2011ZX03005-002)
针对服务不透明性、信任需求主观性及移动参与者连接机会性对面向服务移动社交网络中可信服务组合带来的问题,提出基于信任的分布式服务组合方法.该方法基于格模型建立分布式服务信任评估框架,分别在组件和组合级评估服务信任度以避免...
关键词：信任 分布式服务评估 路径选择 服务组合 面向服务的移动社交网络 
可证明安全的基于位置的Prover-to-Prover密钥交换协议被引量：1
《电子学报》2016年第1期14-20,共7页张俊伟 陈治平 马建峰 杨力 
长江学者和创新团队发展计划(No.IRT1078);国家科技重大专项(No.2011ZX03005-002);国家自然科学基金(No.U1135002;No.61100230;No.61100233;No.61202389;No.61202390;No.61372075;No.61472310);中央高校基本科研业务费(No.JY10000903001;No.K5051303003)
本文针对两个证明者之间可证明安全的基于位置密钥交换协议展开研究.首次将基于位置密钥交换分为P2V(Prover-to-Verifier)模式和P2P(Prover-to-Prover)模式,并给出P2P模式下基于位置密钥交换的安全定义.随后,在1维空间下设计了可证明安...
关键词：P2P 基于位置密钥交换 BRM模型 可证明安全 
基于RSSI的自适应分段曲线拟合室内定位算法被引量：6
《传感器与微系统》2015年第10期151-153,共3页林方旭 朱明华 
国家科技重大专项项目(2011ZX03005-002)
针对室内环境因素对定位结果影响较大的情况,提出了一种基于接收信号强度指示(RSSI)的自适应分段曲线拟合定位算法来提高室内定位的精度。在对原始RSSI数据预先进行高斯滤波处理的基础上,针对环境参数利用自适应分段曲线拟合的方法建立...
关键词：无线传感器网络 室内定位 接收信号强度指示 高斯滤波 自适应分段曲线拟合 
基于接口精化的广义无干扰性研究被引量：2
《计算机研究与发展》2015年第7期1631-1641,共11页孙聪 习宁 高胜 张涛 李金库 马建峰 
长江学者和创新团队发展计划项目(IRT1078);国家自然科学基金委员会--广东联合基金重点基金项目(U1135002);国家科技重大专项基金项目(2011ZX03005-002);国家自然科学基金项目(61303033;61272398);陕西省自然科学基础研究计划项目(2013JQ8036);中央高校基本科研业务费专项资金项目(JB140309);航空科学基金项目(2013ZC31003;20141931001)
在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的规约和验证问题是构件化软件开发过程中关注的关键问题.针对当前构件化软件设计过程中,信息流安全属性仅...
关键词：信息流安全 无干扰性 接口自动机 精化 构件化设计 
面向虚拟社区物联网的信任推荐算法被引量：10
《西安电子科技大学学报》2015年第2期52-57,179,共7页郭晶晶 马建峰 
长江学者和创新团队发展计划资助项目(IRT1078);国家自然科学基金委员会-广东联合基金重点基金资助项目(U1135002);国家科技部重大专项资助项目(2011ZX03005-002)
现有的基于信任的推荐模型中,交互请求者都会选择当前信任度最高的对象进行交互,这会造成虚拟社区中的资源不能被充分利用,可信度高的对象也会因为超负荷而造成响应延时,引起信任度的下降.为了解决该问题,提出了一个考虑社区节点信任度...
关键词：虚拟社区 物联网 网络安全 信任推荐算法 李雅普诺夫优化 
无线传感器网络中匿名的聚合节点选举协议被引量：4
《通信学报》2015年第2期88-97,共10页付帅 马建峰 李洪涛 姜奇 
长江学者和创新团队发展计划基金资助项目(IRT1078);国家自然基金委员会-广东联合基金重点基金资助项目(U1135002);国家科技部重大专项基金资助项目(2011ZX03005-002);国家自然科学基金资助项目(61272541;61202389);中央高校基本科研业务基金资助项目(JY10000903001);陕西省自然科学基础研究计划基金资助项目(2012JQ8043)~~
提出一种分簇无线传感器网络中匿名的簇头选举协议。给出了匿名簇头选举的判定规则及成簇模式,并采用基于双线性对的匿名否决协议对选举结果进行验证以保证存在节点成功当选。设计了相应的匿名数据聚合方案,无需泄露节点身份信息即可完...
关键词：无线传感器网络 分簇 数据聚合 匿名否决 
基于模型检测的服务链信息流安全可组合验证方法被引量：3
《通信学报》2014年第11期23-31,共9页习宁 马建峰 孙聪 卢笛 张涛 
国家自然科学基金资助项目(U1135002;61303033);国家科技部重大专项基金资助项目(2011ZX03005-002);航空科学基金资助项目(2013ZC31003);陕西省自然科学基础研究计划基金资助项目(2013JQ8036)~~
提出了一种可组合的服务链信息流安全验证方法。在保证单一组件信息流安全的基础上,给出相邻组件可组合的信息流安全条件和验证算法。实验和仿真结果表明,相比传统模型检测方法,所提的可组合验证算法能够有效减小验证开销,提高验证效率。
关键词：模型检测 服务链 信息流安全 可组合 
基于博弈论的移动自组织网络的信任管理方法被引量：13
《通信学报》2014年第11期50-58,共9页郭晶晶 马建峰 李琦 万涛 高聪 张亮 
长江学者和创新团队发展计划基金资助项目(IRT1078);国家自然基金委员会-广东联合基金重点基金资助项目(U1135002);国家科技部重大专项基金资助项目(2011ZX03005-002);中央高校基本科研业务费基金资助项目(JB42001-12)~~
采用博弈论的思想为节点间的间接信任信息获取建立了博弈模型,提出了惩罚机制并给出了节点的效用函数。此外,建立了信任演化的复制动态方程来研究在不同参数下节点的演化稳定策略。通过实验验证了方法的正确性及有效性,证明该模型可使...
关键词：移动自组网 信任管理 演化博弈论 复制动态方程 
基于SEIR的社交网络信息传播模型被引量：44
《电子学报》2014年第11期2325-2330,共6页王超 杨旭颖 徐珂 马建峰 
长江学者和创新团队发展计划(No.IRT1078);国家自然基金委员会-广东联合基金重点基金(No.U1135002);国家科技部重大专项(No.2011ZX03005-002);国家自然科学基金(No.61173135);中央高校基本科研业务费(No.JY10000903001;No.K5051303007;No.K5051203012)
结合传染病动力学的SEIR模型,本文建立了适用于社交网络的信息传播模型.该模型基于社交网络用户的行为特征,分析了社交网络的传播机理和网络参数对信息传播过程的影响,得出了动力学演化方程组,刻画了信息传播过程随时间的演化规律.仿真...
关键词：社交网络 信息传播模型 SEIR 微分方程 
全选清除导出
共7页<1234567>
检索报告 对象比较 聚类工具 使用帮助 返回顶部