一个新的电子发票协议及其公平性分析 |
| |
引用本文: | 李志敏,文静华.一个新的电子发票协议及其公平性分析[J].海军工程学院学报,2005,17(4):5-8. |
| |
作者姓名: | 李志敏 文静华 |
| |
作者单位: | [1]贵州大学计算机软件与理论研究所,贵州贵阳 550025 [2]贵州财经学院信息学院,贵州贵阳550004 |
| |
基金项目: | 国家自然科学基金资助项目(10161005);贵州省自然科学基金资助项目(20043029);贵州省教育厅自然科学基金资助项目(2004219) |
| |
摘 要: | 在克服著名电子发票服务IBS协议缺陷的基础上,提出了一个新的电子发票服务协议。同时,采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改,最终得到一个可以工作在不可靠信道上的公平电子发票服务协议。
|
关 键 词: | 电子发票协议 公平性 逻辑分析 |
文章编号: | 1009-3486(2005)04-0005-04 |
收稿时间: | 2005-03-21 |
修稿时间: | 2005-04-20 |
A new electronic invoice protocol and its fairness analysis |
| |
Authors: | Li ZhiMin;Wen JingHua |
| |
Abstract: | A new electronic invoice service protocol is presented based on the correction of famous eleetronie invoice service protocol IBS which has some flaws, and the fainess of which is formally analyzed and modified by the extended Kailar logic method. Finally a new electronic invoice service protoeol on the unreliable communication channel is gotten. |
| |
Keywords: | electronic invoice protocol fairness logical analysis |
本文献已被 维普 等数据库收录! |