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