当前位置：
数字出版物超市 >> 
基于进程代数的电子商务协议形式化研究
基于进程代数的电子商务协议形式化研究
【项目名称】 基于进程代数的电子商务协议形式化研究
【项目编号】 60473006
【项目目标】
【项目关键词】 电子商务协议 进程演算 安全协议 互模拟 形式化研究 进程代数 演算 电子支付协议 SSL 可达关系 同余 形式化分析 知识推理 认证 形式化 开模 保密性 匿名性 形式化方法 数据结构 实例研究 并发系统建模 等式系统 χ-演算 Spi演算 非对称 完备性定理 TMN协议 仿真分析 握手?
【项目承办单位】 上海交通大学;
【项目负责人】 傅育熙;
【项目来源】 国家自然科学基金项目
【涉及学科】 互联网技术;计算机软件及计算机应用
【科研经费】 20万
【所属大项目】
【项目参与研究人员】
    【项目参与研究机构】
    【项目成果摘要】
    【发布单位】 国家自然科学基金委员会
    【发布时间】 2004-01-04
    【申请截止时间】 2004-03-31
    【立项时间】 2005-01
    【完成时间】 2007-12
    【申请条件】
    【联系方式】
    【项目信息来源】 https://isis.nsfc.gov.cn/portal/proj_search.asp
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....