一个新的电子发票协议及其公平性分析

• 作者: 文静华 李志敏
• 来源期刊: 海军工程大学学报
• 学科: 工学
• 关键词: 电子发票协议 公平性 逻辑分析
• 年，卷（期）: 2005,（4）
• 页码范围: 5-8
• 页数: 4页
• 分类号: TP393
• 字数: 2309字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-3486.2005.04.002

摘要

在克服著名电子发票服务IBS协议缺陷的基础上,提出了一个新的电子发票服务协议.同时,采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改,最终得到一个可以工作在不可靠信道上的公平电子发票服务协议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	文静华	贵州大学计算机软件与理论研究所	58	334	10.0	15.0
5	李志敏	贵州大学计算机软件与理论研究所	2	7	2.0	2.0