位置：立项数据库 > 立项详情页
安全协议设计及其形式化理论
  • 项目名称：安全协议设计及其形式化理论
  • 项目类别：面上项目
  • 批准号：60073006
  • 申请代码：F0208
  • 项目来源：国家自然科学基金
  • 研究期限：2001-01-01-2003-12-01
  • 项目负责人：怀进鹏
  • 负责人职称：教授
  • 依托单位：北京航空航天大学
  • 批准年度：2000
中文摘要：

本项目以建设网络通信安全环境为背景，利用形式逻辑和代数系统等形式工具，研究安全协议的形式化理论和计算模型。以群体协同工作和电子商务为应用背景，设计安全、有效的安全协议。该研究综合密码学、计算机科学和代数学等多个学科理论、具有新颖性、创造性和探索性，有重要的理论和应用意义。

中文主题词： 密码协议；形式化方法；安全性分析；群组通信
结论摘要：

英文主题词Cryptographic protocol;formal method;security analysis;group commnication

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 4
  • 0
  • 0
  • 2
  • 6
期刊论文
基于约束构造算法的密码协议安全性分析
SPA :新的高效安全协议分析系统
密码协议的代数模型及其安全性
基于有穷自动机的网络扫描检测算法研究与实现
获奖
网络安全协议技术研究及其系统
网络安全协议技术研究及其系统
著作
基于XML的密钥管理的研究与实现
基于角色的访问控制模型扩充和实现机制研究
公平的非否认密码协议及其形式分析与应用
一种双方不可否认的密码协议及应用
Efficient Non-Repudiation Multicast Source Authentication Schemes.
群密钥分配动态安全性及其方案
相关项目
移动Ad hoc网络保密与认证技术研究
期刊论文 31 会议论文 11 专利 2 著作 2
基于交互神经网络的新型密码协议研究与设计
期刊论文 8 会议论文 3
软件工程学
期刊论文 17 会议论文 16
符号化通用复合的密码协议分析方法研究
期刊论文 17 会议论文 11 著作 3
基于控制机制的软件可靠性新技术及其理论研究
期刊论文 65
公钥密码体制中多维模幂计算方法及其应用研究
期刊论文 14 会议论文 1 专利 5
高信度密码协议的设计与分析
期刊论文 30 会议论文 8 获奖 1 著作 3
语义业务流程模型验证关键技术研究
期刊论文 16 会议论文 9
量子密码协议与量子纠错码研究
期刊论文 18 会议论文 7 著作 2
怀进鹏的项目
计算机科学技术的基础理论
期刊论文 21 会议论文 22 专利 15
可信的大规模对等网络计算技术研究
期刊论文 2 专利 5
非单调数据库理论和系统研究
期刊论文 6 获奖 2
关于agent的知识表示及推理研究
期刊论文 2
网络计算环境综合试验平台
期刊论文 152 会议论文 33
第26届IEEE可靠分布式系统年会
大数据计算理论与软件技术
期刊论文 1
中美计算机科学高峰论坛
面向车联网的可信网络应用软件系统试验环境与示范应用
期刊论文 47 会议论文 81 获奖 2 著作 3
　网络信息空间大数据计算理论
期刊论文 8