安全电子商务协议及其形式化分析研究
基本信息
批准号：60083007
项目类别：专项基金项目
资助金额：13.00
负责人：卿斯汉
学科分类：
依托单位：中国科学院软件研究所
批准年份：2000
结题年份：2003
起止时间：2001-01-01 - 2003-12-31
项目状态： 已结题
项目参与者：倪惜珍,卫宏儒,杨蕾,周启明,王戌靖,王贵林,刘克龙,蒙杨,刘海峰
关键词：
公平性安全电子商务协议形式化分析
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
玉米叶向值的全基因组关联分析
玉米叶向值的全基因组关联分析
DOI：
发表时间：
2
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
DOI：10.19713/j.cnki.43-1423/u.t20201185
发表时间：2021
3
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
4
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
5
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
DOI：10.19701/j.jzjg.2015.15.012
发表时间：2015
卿斯汉的其他基金
批准号：60573042
批准年份：2005
资助金额：24.00
项目类别：面上项目
批准号：69673016
批准年份：1996
资助金额：10.00
项目类别：面上项目
批准号：60970135
批准年份：2009
资助金额：30.00
项目类别：面上项目
批准号：61170282
批准年份：2011
资助金额：57.00
项目类别：面上项目
相似国自然基金
1
安全电子商务协议及其形式化分析研究
批准号：60273029
批准年份：2002
负责人：姬东耀
学科分类：F0206
资助金额：20.00
项目类别：面上项目
2
电子商务协议交易相关安全属性的形式化验证
批准号：60903201
批准年份：2009
负责人：刘家芬
学科分类：F0206
资助金额：17.00
项目类别：青年科学基金项目
3
密码可靠的安全协议形式化分析研究
批准号：60873260
批准年份：2008
负责人：薛锐
学科分类：F0206
资助金额：32.00
项目类别：面上项目
4
安全协议设计及其形式化理论
批准号：60073006
批准年份：2000
负责人：怀进鹏
学科分类：F0207
资助金额：15.00
项目类别：面上项目