密码协议的模型检测分析研究
基本信息
批准号：60102004
项目类别：青年科学基金项目
资助金额：15.00
负责人：张玉清
学科分类：
依托单位：中国科学院大学
批准年份：2001
结题年份：2004
起止时间：2002-01-01 - 2004-12-31
项目状态： 已结题
项目参与者：王春玲,吴缚峰,张德华,邢戈,刘秀英
关键词：
模型检测分析密码协议
结项摘要
研究运用模型检测技术分析密码协议的理论与技术，提出适用的分析密码协议的方法、手段以及计算机辅助分析工具软件，分析典型密码协议：Kerberos认证协议、SSL协议和SET协议，制定密码协议设计的有关准则，设计适用于我国的密钥建立、电子商务等密码协议。本项目的研究将对促进我国信息化建设以及网络与信息安全研究具有重要意义。
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
玉米叶向值的全基因组关联分析
玉米叶向值的全基因组关联分析
DOI：
发表时间：
2
粗颗粒土的静止土压力系数非线性分析与计算方法
粗颗粒土的静止土压力系数非线性分析与计算方法
DOI：10.16285/j.rsm.2019.1280
发表时间：2019
3
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
DOI：10.19713/j.cnki.43-1423/u.t20201185
发表时间：2021
4
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
5
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
张玉清的其他基金
批准号：60573048
批准年份：2005
资助金额：24.00
项目类别：面上项目
批准号：60773135
批准年份：2007
资助金额：31.00
项目类别：面上项目
批准号：61272481
批准年份：2012
资助金额：82.00
项目类别：面上项目
批准号：U1836210
批准年份：2018
资助金额：254.00
项目类别：联合基金项目
批准号：60373040
批准年份：2003
资助金额：23.00
项目类别：面上项目
批准号：61572460
批准年份：2015
资助金额：67.00
项目类别：面上项目
批准号：60970140
批准年份：2009
资助金额：30.00
项目类别：面上项目
相似国自然基金
1
密码可靠的安全协议形式化分析研究
批准号：60873260
批准年份：2008
负责人：薛锐
学科分类：F0206
资助金额：32.00
项目类别：面上项目
2
密码协议的安全模型与可证明安全性研究
批准号：90604018
批准年份：2006
负责人：张振峰
学科分类：F0206
资助金额：28.00
项目类别：重大研究计划
3
抗泄露的密码协议研究
批准号：61572303
批准年份：2015
负责人：杨波
学科分类：F0206
资助金额：66.00
项目类别：面上项目
4
代数密码分析研究
批准号：60773134
批准年份：2007
负责人：胡磊
学科分类：F0206
资助金额：31.00
项目类别：面上项目