课题基金 / 基金详情

密码协议的模型检测分析研究

批准号：
60102004
项目类别：
青年科学基金项目
资助金额：
15.0 万元
负责人：
张玉清
依托单位：
中国科学院大学
学科分类：
信息系统与系统安全
结题年份：
2004
批准年份：
2001
项目状态：
已结题
项目参与者：
王春玲、吴缚峰、张德华、邢戈、刘秀英
关键词：
模型检测.分析密码协议.

项目摘要

结项摘要

张玉清的其他基金

相似基金

相关文献

中文摘要
研究运用模型检测技术分析密码协议的理论与技术，提出适用的分析密码协议的方法、手段以及计算机辅助分析工具软件，分析典型密码协议：Kerberos认证协议、SSL协议和SET协议，制定密码协议设计的有关准则，设计适用于我国的密钥建立、电子商务等密码协议。本项目的研究将对促进我国信息化建设以及网络与信息安全研究具有重要意义。
英文摘要
多源漏洞数据智能分析和漏洞智能利用与挖掘研究
  • 批准号：
    U1836210
  • 项目类别：
    联合基金项目
  • 资助金额：
    254.0万元
  • 批准年份：
    2018
  • 负责人：
    张玉清
  • 依托单位：
    中国科学院大学
Android智能终端安全漏洞挖掘技术研究
  • 批准号：
    61572460
  • 项目类别：
    面上项目
  • 资助金额：
    67.0万元
  • 批准年份：
    2015
  • 负责人：
    张玉清
  • 依托单位：
    中国科学院大学
智能手机安全漏洞挖掘技术研究
  • 批准号：
    61272481
  • 项目类别：
    面上项目
  • 资助金额：
    82.0万元
  • 批准年份：
    2012
  • 负责人：
    张玉清
  • 依托单位：
    中国科学院大学
基于口令的认证和密钥建立协议的可证明安全性研究
  • 批准号：
    60970140
  • 项目类别：
    面上项目
  • 资助金额：
    30.0万元
  • 批准年份：
    2009
  • 负责人：
    张玉清
  • 依托单位：
    中国科学院大学
国内基金
海外基金