国家自然科学基金(60972078)

作品数：12被引量：37H指数：3
导出分析报告
相关作者：冯涛马建峰袁占亭郭显曹来成更多>>
相关机构：兰州理工大学西安电子科技大学甘肃联合大学福建师范大学更多>>
相关期刊：《通信学报》《计算机应用研究》《小型微型计算机系统》《计算机应用》更多>>
相关主题：HOC网络逻辑安全协议组合安全路由协议移动AD更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于SVR对交通流中线性关联关系的分析与研究被引量：2
《计算机应用研究》2015年第2期419-422,共4页曹来成 梁浩 韩薇 董胜 
国家自然科学基金资助项目(60972078);甘肃省自然科学基金资助项目(0916RJZA015)
针对断面交通检测数据往往存在着错误、缺失、包含较多噪声等问题,提出了一种基于支持向量回归机的数据预处理方法。先将相邻路段的数据运用线性回归思想筛选、重组,添加到支持向量回归机的数据集中,然后对相邻路段与预测路段之间线性...
关键词：交通流预测 支持向量回归机 数据预处理 相邻路段 线性关系 
协议组合逻辑安全的Ad Hoc网络路由协议安全验证方法被引量：2
《小型微型计算机系统》2013年第12期2794-2799,共6页郭显 冯涛 袁占亭 
国家自然科学基金项目(60972078)资助;甘肃省自然科学基金项目(1014RJZA005)资助
扩展协议组合逻辑PCL,提出了建模移动Ad Hoc网络和分析路由协议安全性的符号模型PCL-RP模型.PCL-RP模型中,为模型化网络节点移动和多跳无线广播通信特征,引入了线程位置和线程位置相邻概念,定义了广播规约规则.PCLRP模型中提出了运行迹...
关键词：移动AD HOC网络 协议组合逻辑 安全路由协议 动态源路由协议 
基于概率机制的涌现分簇算法
《电子科技大学学报》2012年第4期574-579,共6页冯涛 瞿竞杰 郭显 
国家863项目(2007AA01Z429);国家自然科学基金(60972078);甘肃省高等学校基本科研业务费(0914ZTB186);甘肃省自然科学基金(2007GS04823);福建省高校重点实验室开放课题(09A006)
涌现分簇算法ACE是一类基于群体智能的移动Ad hoc网络分簇算法。针对ACE算法迭代中存在的问题,该文引入概率机制,提出了基于概率机制的涌现分簇算法(PACE)。该算法根据节点竞争簇头概率最高的局部信息,创建全局分簇网络,在概率相同的情...
关键词：分簇算法 涌现算法 移动AD HOC网络 概率涌现分簇算法 
编码感知多跳无线网络安全路由协议被引量：4
《通信学报》2012年第6期133-142,共10页郭显 冯涛 袁占亭 
国家自然科学基金资助项目(60972078);甘肃省高等学校基本科研业务费基金资助项目(0914ZTB186);兰州理工大学博士基金资助项目(BS14200901);甘肃省自然科学基金资助项目(1014RJZA005)~~
分析了网络编码系统DCAR"编码+路由"发现过程存在的安全问题,提出了适用于编码感知安全路由协议的安全目标,设计了基于DCAR的编码感知安全路由协议DCASR,DCASR协议利用密码学机制保证可信路由建立和正确编码机会发现。为建模多跳无线网...
关键词：多跳无线网络 安全路由协议 DCAR 形式化方法 LS2逻辑 
协议组合逻辑安全的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个方面对拜占庭攻击进行了描述,实现了对拜占庭攻击概念的通用表达,以及各节点之间的信息共享与协同合作.最后以一类特殊的拜占庭...
关键词：拜占庭攻击 本体 攻击检测 
适合移动Ad hoc网络基于群签名认证的弹性组密钥管理方案被引量：2
《计算机应用研究》2011年第10期3811-3816,共6页朱昶胜 刘鹏辉 王庆荣 曹来成 
国家自然科学基金资助项目(60972078);甘肃省自然科学基金资助项目(0809RJZA019;0916RJZA015)
针对移动Ad hoc网络中的安全组通信系统,提出了一个基于群签名认证的分布式组密钥管理方案。该方案利用门限密码技术并借鉴了PKI证书管理的第三方签名认证思想,在提高认证可信度的同时,极大地减少了密钥协商过程中所需的认证开销。分析...
关键词：组密钥管理 移动ADHOC网络 群签名 容错性 门限密码 双线性对 
适合可信计算环境基于口令的双向匿名认证密钥协商协议被引量：2
《计算机应用》2011年第7期1862-1867,共6页朱昶胜 刘鹏辉 王庆荣 曹来成 
国家自然科学基金资助项目(60972078);甘肃省自然科学基金资助项目(0809RJZA0190916RJZA015)
如何保持双向匿名性是构建可信计算环境的核心问题之一,针对可信计算环境的特点,提出一个基于口令的匿名认证密钥协商协议,并且在计算性Diffie-Hellman假设和存在强抗碰撞的单向杂凑函数条件下,基于随机预言机模型证明了该协议是安全的...
关键词：密钥协商 可信计算 双向匿名性 口令 拒绝服务攻击 字典攻击 
伯努利节点网络模型的拓扑鲁棒性分析方法被引量：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注册协议 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部