课题基金 / 基金详情

基于进程代数的电子商务协议形式化研究

批准号：
60473006
项目类别：
面上项目
资助金额：
20.0 万元
负责人：
傅育熙
依托单位：
上海交通大学
学科分类：
计算机科学的基础理论
结题年份：
2007
批准年份：
2004
项目状态：
已结题
项目参与者：
董笑菊、顾永跟、钟发荣、李洋、朱涵、李国强、衷国涛、董驻鹏
关键词：
Epi演算进程代数电子商务协议

项目摘要

结项摘要

项目成果

傅育熙的其他基金

相似基金

相关文献

中文摘要
电子商务已成为网络技术应用新的发展方向。电子商务协议是保证客户和商家之间完成正常、可靠、安全交易活动的规则，是电子商务安全的基础。电子商务协议的设计极易出错，要设计一个正确、符合安全目标、没有冗余的协议十分困难。20年来，为了应对这一挑战，人们设计了不同种类的形式化分析方法，投入了大量的精力。进程代数对于协议的描述几乎接近协议的本身含义，因此它可以很精确地刻划协议的运行过程；同时，进程代数的类型系统和等价关系可以精确地验证协议的各项性质。我们要研究的是利用进程代数的等价关系性质和类型系统来验证电子商务协议的性质。首先，我们要建立一个适合于电子商务协议形式化研究的抽象模型Epi演算，围绕Epi演算能验证电子商务协议性质的目的，对其操作语义、类型系统、等价关系及表达能力进行研究和完善。在此基础上，尝试开发一个电子商务协议的自动验证工具。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
Tissue P Systems with Parallel
并行组织 P 系统
DOI： --
发表时间： --
期刊：
影响因子： --
作者： [徐贤*]
通讯作者： 徐贤*
基于可达关系的安全协议保密性分
DOI： --
发表时间： --
期刊： 计算机学报，30（2），2007
影响因子： --
作者： [顾永跟]
通讯作者： 顾永跟
Fair ambients
公平的环境
DOI： 10.1007/s00236-007-0038-z
发表时间： 2007-03
期刊： Acta Informatica
影响因子： 0.6
作者： [傅育熙*]
通讯作者： 傅育熙*
基于SPi演算的SSL3.0安全协议仿
DOI： --
发表时间： --
期刊： 计算机仿真，23（2），2006
影响因子： --
作者： [衷国涛* 顾永跟]
通讯作者： 衷国涛* 顾永跟
共 8 条
    VASS可达性的算法研究
    • 批准号：
      62072299
    • 项目类别：
      面上项目
    • 资助金额：
      56.0万元
    • 批准年份：
      2020
    • 负责人：
      傅育熙
    • 依托单位：
      上海交通大学
    无穷状态系统等价性验证
    • 批准号：
      61772336
    • 项目类别：
      面上项目
    • 资助金额：
      63.0万元
    • 批准年份：
      2017
    • 负责人：
      傅育熙
    • 依托单位：
      上海交通大学
    进程理论中的否定结果研究
    • 批准号：
      61472239
    • 项目类别：
      面上项目
    • 资助金额：
      80.0万元
    • 批准年份：
      2014
    • 负责人：
      傅育熙
    • 依托单位：
      上海交通大学
    M-可解性、M-计算复杂性与计算机科学的模型理论
    • 批准号：
      61033002
    • 项目类别：
      重点项目
    • 资助金额：
      200.0万元
    • 批准年份：
      2010
    • 负责人：
      傅育熙
    • 依托单位：
      上海交通大学
    国内基金
    海外基金