无线网络路由协议的可证安全设计与自动化安全分析方法研究

60972078
2009
F0102.信息系统与系统安全
冯涛
面上项目
研究员
兰州理工大学
25万元
安全路由协议;协议分析自动化;可证明安全;协议组合逻辑;无线网络安全
2010-01-01到2012-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Provably secure certificate less blind proxy re-signatures 期刊论文 冯涛|梁一鑫|FENG Tao,LIANG Yi-xin(School of Computer and Commu|
2 Anonymous identity authentication scheme in wireless roaming communication 会议论文 Feng, Tao1|Zhou, Wenying1|Li, Xinghua2|
3 A new scheme for protecting master-key of data centre web server in online banking 会议论文 Lai-Cheng, Cao1|Lei, Liang1|
4 Provably secure identity based signature without trusted PKG in the standard model 会议论文 Peng, Wei|Feng, Tao|
5 Improving security of SET protocol based on ECC 会议论文 Cao, Lai-Cheng1|
6 WAPI secure access authentication scheme for heterogeneous networks based on identity-based cryptograph 会议论文 Feng, Tao1|Jiao, Jian1|
7 Enhancing distributed web security based on Kerberos authentication service 会议论文 Lai-Cheng, Cao1|
8 Ad hoc网络节点不相交多路径距离矢量路由协议 期刊论文 郭显|冯涛|袁占亭|
9 Secure negotiation approach for share-secret-key of kerberos service 会议论文 Cao, Lai-Cheng1|
10 Enhancing efficiency of intrusion prediction based on intelligent immune method 会议论文 Cao, Lai-Cheng1|
11 基于无线MESH网络身份的无可信PKG的部分盲签名方法 专利 冯涛; 彭伟
12 一种安全的WiMAX无线网络认证协议 专利 冯涛; 张子彬
13 Probabilistic emergent algorithm for cluster establishment 期刊论文 冯涛|瞿竞杰|郭显|FENG Tao,QU Jing-jie,and GUO Xian(School of Comput|
14 Changeable threshold signature scheme based on lattice theory 会议论文 Feng, Tao|Gao, Yongguo|Ma, Jianfeng|
15 Secure authenticated key agreement protocol for WMEN based on protocol composition logic 会议论文 Feng, Tao|Yi, Yangfan|Ma, Jianfeng|
16 Security authentication protocol for WiMAX wireless network based on protocol composition logic 期刊论文 Feng, Tao|Zhang, Zi-Bin|Ma, Jian-Feng|
17 Provably secure approach for multiple node-disjoint paths source routing protocol 期刊论文 Feng, Tao|Guo, Xian|Ma, Jian-Feng|Li, Xing-Hua|
18 Provably secure anonymous authentication key agreement protocol for multicast group 期刊论文 Feng, Tao|Liu, Yuan-Yuan|Ma, Jian-Feng|
19 Formal modeling and analysis in a logic for mobile Ad Hoc networks 期刊论文 Guo, Xian|Feng, Tao|Yuan, Zhanting|Ma, Jianfeng|
20 Coding-aware secure routing for multi-hop wireless networks 期刊论文 郭显|冯涛|袁占亭|GUO Xian1,3,FENG Tao1,2,YUAN Zhan-ting1(1.School o|2.Ministry of Education Key Laboratory of Computer|3.School of Electronic Information Engineering,Gan|
21 Secure access authentication scheme for 4G wireless network based on PCL 期刊论文 王丽丽|冯涛|马建峰|WANG Li-li1,FENG Tao1,2,3,MA Jian-feng3(1.School o|2.Key Lab of Network Security and Cryptology,Fujia|3.Ministry of Education Key Laboratory of Computer|
22 Provably secure partially blind signature without trusted PKG 期刊论文 Feng, Tao|Peng, Wei|Ma, Jian-Feng|
23 An efficient and provably secure multi-path Distance Vector Routing 期刊论文 Guo, Xian|Feng, Tao|Yuan, Zhanting|Ma, Jianfeng|
24 基于本体的拜占庭攻击的建模及检测 期刊论文 冯涛|孙冠男|夏彦晖|马建峰|
25 Analysis method of robustness for topology of Bernoulli node model 期刊论文 Feng, Tao|Li, Hong-Tao|Yuan, Zhan-Ting|Ma, Jian-Feng|
26 Secure secret-key management of Kerberos service 会议论文 Cao, Lai-Cheng1|
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享