中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
题名:
一种分析电子商务协议的新工具
其他题名: a new approach for the analysis of electronic commerce protocols
作者: 周典萃 ; 卿斯汉 ; 周展飞
关键词: 可追究性 ; 电子商务 ; 公平性 ; 逻辑分析 ; 协议 ; 电子商务 ; 协议 ; 新工具 ; 形式化分析方法 ; 公平性分析 ; 初始化 ; 通信信道 ; 可靠性 ; 消息 ; 密文 ; 逻辑 ; 加密 ; 集合 ; 环境 ; 规则 ; 公式Communication channels (information theory) ; Cryptography ; Logic design ; Network protocols ; Numerical analysis ; Reliability
刊名: 软件学报
发表日期: 2001
卷: 12, 期:9, 页:1318-1328
收录类别: wanfang ; ei
部门归属: 中国科学院软件研究所;中国科学院软件研究所;中国科学院软件研究所
摘要: 提出了一种新的形式化分析方法,可用于分析电子商务协议.与Kailar逻辑相比,它有3个优点:(1) 能够有效地分析协议的公平性,在进行公平性分析时充分考虑了通信信道的可靠性;(2) 初始化拥有集合只依赖于环境,不需要人为地引入初始化假设;(3) 增加了密文理解规则,能够有效地分析包含有签过名的加密公式的消息.
语种: 中文
内容类型: 期刊论文
URI标识: http://ir.iscas.ac.cn/handle/311060/13452
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:
File Name/ File Size Content Type Version Access License
一种分析电子商务协议的新工具.pdf(391KB)----限制开放-- 联系获取全文

Recommended Citation:
周典萃,卿斯汉,周展飞. 一种分析电子商务协议的新工具[J]. 软件学报,2001-01-01,12(9):1318-1328.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[周典萃]'s Articles
[卿斯汉]'s Articles
[周展飞]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[周典萃]‘s Articles
[卿斯汉]‘s Articles
[周展飞]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace