非否认协议及协议形式化分析研究
批准号：
69673016
项目类别：
面上项目
资助金额：
10.0 万元
负责人：
卿斯汉
依托单位：
学科分类：
信息安全
结题年份：
1999
批准年份：
1996
项目状态：
已结题
项目参与者：
高茂生、唐于丽、葛兵、陈炯雄、常晓林、侯建华、赵晓亮
项目成果
卿斯汉的其他基金
相似基金
相关文献
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
--
发表时间：
--
期刊：
计算机学报
影响因子：
--
作者：
[刘克龙, 蒙杨, 卿斯汉]
通讯作者：
卿斯汉
DOI：
--
发表时间：
--
期刊：
软件学报
影响因子：
--
作者：
[吴文玲, 冯登国, 卿斯汉]
通讯作者：
卿斯汉
DOI：
--
发表时间：
--
期刊：
计算机学报
影响因子：
--
作者：
[刘克龙, 蒙杨, 卿斯汉]
通讯作者：
卿斯汉
DOI：
--
发表时间：
--
期刊：
软件学报
影响因子：
--
作者：
[周典萃, 卿斯汉]
通讯作者：
卿斯汉
DOI：
--
发表时间：
--
期刊：
软件学报
影响因子：
--
作者：
[吴文玲, 李宝, 冯登国, 卿斯汉]
通讯作者：
卿斯汉
Windows 7 操作系统的安全性分析
-
批准号：61170282
-
项目类别：面上项目
-
资助金额：57.0万元
-
批准年份：2011
-
负责人：卿斯汉
-
依托单位：
可信操作系统的基本理论与关键技术研究
-
批准号：60970135
-
项目类别：面上项目
-
资助金额：30.0万元
-
批准年份：2009
-
负责人：卿斯汉
-
依托单位：
高安全等级安全操作系统关键技术研究
-
批准号：60573042
-
项目类别：面上项目
-
资助金额：24.0万元
-
批准年份：2005
-
负责人：卿斯汉
-
依托单位：
安全电子商务协议及其形式化分析研究
-
批准号：60083007
-
项目类别：专项基金项目
-
资助金额：13.0万元
-
批准年份：2000
-
负责人：卿斯汉
-
依托单位：
国内基金
海外基金