课题基金基金详情
非否认协议及协议形式化分析研究
批准号：
69673016
项目类别：
面上项目
资助金额：
10.0 万元
负责人：
卿斯汉
依托单位：
中国科学院软件研究所
学科分类：
F0206.信息安全
结题年份：
1999
批准年份：
1996
项目状态：
已结题
项目参与者：
高茂生、唐于丽、葛兵、陈炯雄、常晓林、侯建华、赵晓亮
关键词：
形式化分析认证斜议非否认协议
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点，提供专业选题建议
深度指导申报书撰写，确保创新可行
指导项目中标800+，快速提高中标率
客服二维码
微信扫码咨询
Windows 7 操作系统的安全性分析
  • 批准号：
    61170282
  • 项目类别：
    面上项目
  • 资助金额：
    57.0万元
  • 批准年份：
    2011
  • 负责人：
    卿斯汉
  • 依托单位：
    中国科学院软件研究所
可信操作系统的基本理论与关键技术研究
  • 批准号：
    60970135
  • 项目类别：
    面上项目
  • 资助金额：
    30.0万元
  • 批准年份：
    2009
  • 负责人：
    卿斯汉
  • 依托单位：
    中国科学院软件研究所
高安全等级安全操作系统关键技术研究
  • 批准号：
    60573042
  • 项目类别：
    面上项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2005
  • 负责人：
    卿斯汉
  • 依托单位：
    中国科学院软件研究所
安全电子商务协议及其形式化分析研究
  • 批准号：
    60083007
  • 项目类别：
    专项基金项目
  • 资助金额：
    13.0万元
  • 批准年份：
    2000
  • 负责人：
    卿斯汉
  • 依托单位：
    中国科学院软件研究所
国内基金
海外基金