摘要
在克服著名电子发票服务IBS协议缺陷的基础上,提出了一个新的电子发票服务协议.同时,采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改,最终得到一个可以工作在不可靠信道上的公平电子发票服务协议.
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.
出处
《海军工程大学学报》
CAS
北大核心
2005年第4期5-8,共4页
Journal of Naval University of Engineering
基金
国家自然科学基金资助项目(10161005)
贵州省自然科学基金资助项目(20043029)
贵州省教育厅自然科学基金资助项目(2004219)
关键词
电子发票协议
公平性
逻辑分析
electronic invoice protocol
fairness
logical analysis
