课题基金基金详情
安全电子商务协议及其形式化分析研究
批准号：
60083007
项目类别：
专项基金项目
资助金额：
13.0 万元
负责人：
卿斯汉
依托单位：
中国科学院软件研究所
学科分类：
F0206.信息安全
结题年份：
2003
批准年份：
2000
项目状态：
已结题
项目参与者：
倪惜珍、卫宏儒、杨蕾、周启明、王戌靖、王贵林、刘克龙、蒙杨、刘海峰
关键词：
公平性安全电子商务协议.形式化分析.
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点，提供专业选题建议
深度指导申报书撰写，确保创新可行
指导项目中标800+，快速提高中标率
客服二维码
微信扫码咨询
Windows 7 操作系统的安全性分析
  • 批准号：
    61170282
  • 项目类别：
    面上项目
  • 资助金额：
    57.0万元
  • 批准年份：
    2011
  • 负责人：
    卿斯汉
  • 依托单位：
    中国科学院软件研究所
可信操作系统的基本理论与关键技术研究
  • 批准号：
    60970135
  • 项目类别：
    面上项目
  • 资助金额：
    30.0万元
  • 批准年份：
    2009
  • 负责人：
    卿斯汉
  • 依托单位：
    中国科学院软件研究所
高安全等级安全操作系统关键技术研究
  • 批准号：
    60573042
  • 项目类别：
    面上项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2005
  • 负责人：
    卿斯汉
  • 依托单位：
    中国科学院软件研究所
非否认协议及协议形式化分析研究
  • 批准号：
    69673016
  • 项目类别：
    面上项目
  • 资助金额：
    10.0万元
  • 批准年份：
    1996
  • 负责人：
    卿斯汉
  • 依托单位：
    中国科学院软件研究所
国内基金
海外基金