位置：立项数据库 > 立项详情页
可证安全的多方安全协议的分析与设计
  • 项目名称：可证安全的多方安全协议的分析与设计
  • 项目类别：面上项目
  • 批准号：60573036
  • 申请代码：F020702
  • 项目来源：国家自然科学基金
  • 研究期限：2006-01-01-2008-12-31
  • 项目负责人：马建峰
  • 负责人职称：教授
  • 依托单位：西安电子科技大学
  • 批准年度：2005
中文摘要：

安全协议的分析与设计异常复杂，具有很大的挑战性。本项目主要研究安全协议的形式化分析与设计理论及方法，重点讨论可证安全多方协议的分析与设计。基于可证安全方法，其中包括CK模型、BCP模型和可组合安全等方法，我们将研究具有可证安全特性的多方安全协议的理论与方法。研究的目的在于，简化安全协议的分析与设计过程，并且使设计的协议具有可证明的安全性；依据多用户网络拓扑模型，提出多方安全协议的设计理论和方法，建立可证安全的、可扩展的群组密钥管理模型，设计高效、安全的群组密钥管理协议，为网络密钥管理系统提供有效的设计理论和方法。通过研究，我们希望在多方安全协议的一般理论和方法上有一定的突破，为高效、可靠和可证安全的多方协议的设计与分析提供比较完整和系统的理论支持。

中文主题词： 安全协议;形式化;可证安全;可组合安全
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 99
  • 7
  • 0
  • 0
  • 2
期刊论文
内部威胁云模型感知算法
一种新的Mesh 网络漫游接入协议
一种传感器网络访问控制机制
自相似网络流量预测研究
MANET节点不相交多路径安全源路由协议
一种新的基于椭圆曲线密码体制的Ad hoc组密钥管理方案
可证明安全的节点不相交多路径源路由协议
UC安全的基于一次签名的广播认证
网络系统的可生存性研究综述
可生存网络系统的构建方法
LEO/MEO双层空间信息网中基于身份的群组密钥管理方案
基于密钥链的无线传感器访问控制方法
门限Byzantine quorum系统及其在分布式存储中的应用
一种兼容802.11i及WAPI的身份认证方法
一种双向认证方法及系统
WLAN网络集成认证体系结构及实现结构层的方法
一种在无线局域网中的安全快速切换方法
一种WAPI认证和密钥协商方法和系统
衰落信道中802.11 DCF的非饱和吞吐量分析
Asymmetric Key Pre-Distribution Scheme for Sensor Networks
WAPI实施方案中的密钥协商协议的安全性分析
基于证人不可区分的通用可复合安全并行可否认认证
可证明安全的异构无线网络认证协议
协作信息系统的访问控制模型及其应用
组播密钥管理方法及用于组播密钥管理的中心节点
无线环境下的会话密钥安全分发方法
Perfect Forward Secrecy of Authentication and Exchange Protocols in Three Versions of WAPI
Universally composable anonymous Hash certification model
A new approach for UC security concurrent deniable authentication
A METHOD FOR ROUTING MN IN WIRELESS MESH NETWORK AND THE COMMUNICATION SYSTEM THEREOF
可证安全的Internet密钥交换协议
基于区域的无线传感器网络密钥管理
IEEE International Conference on e-Business Engineering (ICEBE 2008)
门限Byzantine quorum 系统及其在分布式存储中的应用
无线局域网中一种快速安全的切换方法
群组密钥交换协议中的一致性分析
动态对等群组中高效安全的群组密钥管理方案
Lazy group key updating scheme based on dynamic tree
Efficient and Secure Group Key Management for High Delay Networks
Constructing UC secure and Constant Round Group Key Exchange Protocols via Secret Sharing
UC安全的并行可否认认证新方法
通用可组合的匿名HASH认证模型
一种移动自组网中信任评估模型的设计
基于IEEE 802. 11b 网卡的WPA与WAPI集成接入方法
通用可组合安全的Mesh网络认证协议
适用于动态群组的密钥树平衡技术
一种高效的3G-WLAN互联网络认证协议
信息系统的模糊风险评估模型
UC安全的高效不经意传输协议
基于行为的访问控制模型及其行为管理
有限负载下802111 DCF的性能分析及优化
无线传感器网络密钥种子管理和分配模型及应用
基于VSPH的UC不经意传输协议
防御无线传感器网络Sybil攻击的新方法
Key hierarchies for hierarchical access control in secure group communications
基于无线Mesh网络的密钥管理方法
一种无线局域网接入方法、设备及系统
通用可组合安全的WLAN Mesh网络可信接入认证协议
Modeling and analysis of a self-learning worm based on good point set scanning
供应链环境下通用可组合安全的RFID通信协议
无线环境下的可信网络连接协议
安全透明的无线传感器网络数据汇聚方案
WSANs中基于跳步数自适应的路由算法
可信计算环境下的Canetti—Krawczyk模型
适用于传感器网络的分级群组密钥管理
基于分组到达率的802．11 DCF性能分析
Authentication Methods for 802.11s Mesh Networks
Provable Efficient Certificateless Group Key Exchange Protocol
Malicious Code Modeling and Analysis in Weighted Scale-Free Networks
LPCA——分布式存储中的数据分离算法
综合化航空电子系统可信软件技术
多主密钥功能加密：基于LMSSS的M-KP-ABE方案
Improved Verifiability Scheme for Data Storage in Cloud Computing
适应性安全的多主密钥KP-ABE方案
RFID标签的不可追踪性
无需后端数据库的RFID认证协议
基于Shapley熵和Choquet积分的层次化风险评估
基于人类视觉特性的自适应水印嵌入方案
基于OPNET的车用Ad hoc网可靠性评估研究
RFID匿名认证协议的设计
基于模糊神经网络的信息安全风险评估模型
基于攻击者能力状态的入侵建模方法
无线传感器网络拓扑的容错度与容侵度
移动办公系统中的无线安全问题解决方案
通用可组合的公平电子支付协议
空间信息网安全组网新架构
An Ideal Lattice Based IBE Scheme in the Standard Model
基于模糊小波神经网络的信息安全风险评估
A RISK ASSESSMENT METHOD OF THE WIRELESS NETWORK SECURITY
基于攻击意图分析的模糊入侵关联方法
一个具有前向保密性的高效签密方案
基于可信计算的CSCW系统访问控制
基于二次噪声检测和细节保护规则函数的图像滤波算法
一种无线Adhoc网络中恶意程序的传播模型
有限负载下802．11 DCF的性能分析及优化
基于模糊—隐马尔可夫模型的复合式攻击预测方法
会议论文
Ternary Tree Based Group Key Management in Dynamic Peer Networks
Storage Requirements for Key Distribution in Sensor Networks
CRMS: A Collusion-Resistant Matrix System for Group Key Management in Wireless Networks
第一届全国计算机网络与信息安全学术会议
Implementation of IEEE802.1x in OPNET
Modeling and Analysis of A Self-learning Worm Based on Good Point set Scanning
An Empirical Measurement of Security Association in 802.11 Mesh Networks
著作
计算机系统安全
无线局域网安全体系结构
相关项目
物联网中RFID标签群组通信认证协议和安全体系研究
期刊论文 9 会议论文 3
基于LFSR序列的公钥密码算法及RSA模数安全分析
期刊论文 7
密码可靠的安全协议形式化分析研究
期刊论文 10 会议论文 12
基于事件逻辑的安全协议形式化分析及验证
期刊论文 19 获奖 1
无线传感网络安全协议的形式化建模与分析
期刊论文 15 会议论文 1
高信度密码协议的设计与分析
期刊论文 30 会议论文 8 获奖 1 著作 3
密码协议通用可组合安全的理论与方法研究
期刊论文 49 会议论文 6 著作 2
控制验证权数字签名体制设计研究
期刊论文 14
面向安全群体通信的新型签密及应用研究
期刊论文 58 会议论文 11 获奖 4 著作 2
马建峰的项目
专用VLSI处理机阵列容错设计方法的研究
期刊论文 8 著作 1
　网络与信息安全关键技术
面向异构物联网的安全融合理论及关键技术研究
期刊论文 37
　异构无线网络安全融合关键技术研究
数字社区无线网络信息融合安全理论及关键技术研究
期刊论文 137 会议论文 35 获奖 8 著作 1
　宽带无线IP网安全技术研究
　宽带无线IP网安全技术研究
　网络与信息安全关键技术
期刊论文 32
第38届夏威夷系统科学国际会议
　异构无线网络安全融合关键技术研究
容忍入侵的入侵检测模型与检测方法研究
期刊论文 74 会议论文 22 获奖 2 著作 3
　异构无线网络安全融合关键技术研究
自组织可重构的空间信息网安全组网技术研究
期刊论文 60
2005年计算智能与安全国际学术会议