安全电子商务协议及其形式化分析研究
批准号：
60083007
项目类别：
专项基金项目
资助金额：
13.0 万元
负责人：
卿斯汉
依托单位：
学科分类：
信息安全
结题年份：
2003
批准年份：
2000
项目状态：
已结题
项目参与者：
倪惜珍、卫宏儒、杨蕾、周启明、王戌靖、王贵林、刘克龙、蒙杨、刘海峰
卿斯汉的其他基金
相似基金
相关文献
Windows 7 操作系统的安全性分析
-
批准号：61170282
-
项目类别：面上项目
-
资助金额：57.0万元
-
批准年份：2011
-
负责人：卿斯汉
-
依托单位：
可信操作系统的基本理论与关键技术研究
-
批准号：60970135
-
项目类别：面上项目
-
资助金额：30.0万元
-
批准年份：2009
-
负责人：卿斯汉
-
依托单位：
高安全等级安全操作系统关键技术研究
-
批准号：60573042
-
项目类别：面上项目
-
资助金额：24.0万元
-
批准年份：2005
-
负责人：卿斯汉
-
依托单位：
非否认协议及协议形式化分析研究
-
批准号：69673016
-
项目类别：面上项目
-
资助金额：10.0万元
-
批准年份：1996
-
负责人：卿斯汉
-
依托单位：
国内基金
海外基金