安全电子商务协议及其形式化分析研究
基本信息
批准号：60273029
项目类别：面上项目
资助金额：20.00
负责人：姬东耀
学科分类：
依托单位：中国科学院大学
批准年份：2002
结题年份：2005
起止时间：2003-01-01 - 2005-12-31
项目状态： 已结题
项目参与者：李红达,张兴兰,王宏
关键词：
安全协议电子商务形式化分析方法
结项摘要
针对安全电子商务协议的自身特点既有效性,公平性、安全性和可追究性等,对安全电子商务协议进行深入研究,研究内容包括:(1)安全电子商务协议的设计方法,原理和模型研究;(2)电子商务协议的安全性论证方法研究,包括形式化分析方法、代数模型方法和攻击检验方法等,(3)其他相关问题研究,这对于促进我国电子商务发展和保障国家安全具有积极意义.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
DOI：
发表时间：
2
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
DOI：10.11842/wst.20190724002
发表时间：2020
3
高分五号卫星多角度偏振相机最优化估计反演:角度依赖与后验误差分析
高分五号卫星多角度偏振相机最优化估计反演:角度依赖与后验误差分析
DOI：10.7498/aps.68.20181682
发表时间：2019
4
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
DOI：10.19762/j.cnki.dizhixuebao.2021191
发表时间：2021
5
铁路大跨度简支钢桁梁桥车-桥耦合振动研究
铁路大跨度简支钢桁梁桥车-桥耦合振动研究
DOI：10.3969/j.issn.1000-0844.2017.05.0820
发表时间：2017
姬东耀的其他基金
批准号：90604010
批准年份：2006
资助金额：23.00
项目类别：重大研究计划
相似国自然基金
1
安全电子商务协议及其形式化分析研究
批准号：60083007
批准年份：2000
负责人：卿斯汉
学科分类：F0206
资助金额：13.00
项目类别：专项基金项目
2
电子商务协议交易相关安全属性的形式化验证
批准号：60903201
批准年份：2009
负责人：刘家芬
学科分类：F0206
资助金额：17.00
项目类别：青年科学基金项目
3
密码可靠的安全协议形式化分析研究
批准号：60873260
批准年份：2008
负责人：薛锐
学科分类：F0206
资助金额：32.00
项目类别：面上项目
4
安全协议设计及其形式化理论
批准号：60073006
批准年份：2000
负责人：怀进鹏
学科分类：F0207
资助金额：15.00
项目类别：面上项目