位置：立项数据库 > 立项详情页
异构无线网络可信远程证明的组合安全理论与协议设计
  • 项目名称：异构无线网络可信远程证明的组合安全理论与协议设计
  • 项目类别：青年科学基金项目
  • 批准号：61202390
  • 申请代码：F020702
  • 项目来源：国家自然科学基金
  • 研究期限：2013-01-01-2015-12-31
  • 项目负责人：杨力
  • 依托单位：西安电子科技大学
  • 批准年度：2012
中文摘要：

本项目研究异构无线网络可信远程证明的组合安全理论与协议设计。首先，以通用可组合安全理论为基础，给出可信计算环境下攻击者能力的描述与定义，设计可信计算理想函数，构建可信计算的通用可组合安全模型；其次，在新的可组合安全模型指导下,设计直接匿名证明协议、用户及平台统一认证协议等，并达到通用可组合安全性；最后，结合3G/WLAN异构无线融合场景，基于可信增强的理想函数，设计实用的组合安全的可信增强的漫游认证协议与快速切换协议，增强3G/WLAN异构融合网络认证机制的安全性，确保移动用户与终端接入网络时的安全性。项目的研究既是对安全协议设计模型的有益扩展，也是对异构网络认证架构的安全增强，将为实现异构无线网络的可信互联与深入发展提供理论依据与技术支撑。

中文主题词： 组合安全；可信计算；远程证明；异构无线网络；认证协议
结论摘要：

英文主题词Composition Security；Trusted Computing；Remote Attestation；Heterogenous Wireless Networks；Authentication Protocol

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 33
  • 3
  • 0
  • 2
  • 0
期刊论文
Secrecy Transfer For Sensor Networks: From Random Graphs to Secure Random Geometric Graphs.
面向视频应用的BitTorrent协议优化
Universally composable secure positioning in the bounded retrieval model
云存储加密数据去重删除所有权证明方法
基于统计分析优化的高性能XACML策略评估引擎
Protocol Derivation System for the Needham-Schroeder family
基于信任评估的Ad Hoc网络中关键节点选取算法
Robust Two-Factor Authentication and Key Agreement Preserving User Privacy
基于位置密钥交换的 UC 安全模型
可证明安全的无双线性对无证书可信接入认证协议
云计算下保障公平性的多资源分配算法
面向云计算环境的动态公平性度量方法
A delegation based cross trusted domain direct anonymous attestation scheme
CRM: A New Dynamic Cross-Layer Reputation Computation Model in Wireless Networks
Security Enhancement of Robust User Authentication Framework for Wireless Sensor Networks
基于位置密钥交换的UC安全模型
复杂网络的影响可控性
可证明安全的无双线性对无证书可信接入认证协议
改进的移动计算平台直接匿名证明方案
集中式协作频谱检测在SimpliciTI网络中的应用
可证明安全的基于位置的Prover-to-Prover密钥交换协议
会议论文
A Dynamic and Multi-layer Reputation Computation Model for Multi-hop Wireless Networks
基于分簇的Ad hoc网络中关键节点探测算法研究
Multi-domain Direct Anonymous Attestation Scheme from Pairings
获奖
基于可信计算的无线局域网安全管理技术及方法
基于可信计算的无线局域网安全管理技术及方法
相关项目
分布式网络环境下终端可信技术研究
期刊论文 14 会议论文 10 获奖 4 专利 15
位置密码学的组合安全理论和协议设计
期刊论文 33 会议论文 8
下一代可信计算平台远程证明理论与方法研究
期刊论文 15 会议论文 11
面向军用可信计算环境的构造及评测试验验证研究
期刊论文 46 会议论文 7 著作 1
群通信中多对多会员认证协议研究
期刊论文 17 会议论文 5
面向海洋渔业的移动通信系统及关键技术研究
期刊论文 8 会议论文 12 获奖 2 专利 3
多安全等级信息系统的跨域行为安全性研究
期刊论文 45 会议论文 1 专利 3
面向无线多媒体业务的多域协同网络联合资源管理技术
期刊论文 2 会议论文 17 获奖 2
代数方程组求解与代数曲线曲面的可信计算
期刊论文 4 会议论文 1
杨力的项目
移动云计算中用户数据可信删除方法与技术研究
期刊论文 3