全部 标题 作者 关键词 摘要
, PP. 13-15
Keywords: 电子商务协议,可追究性,公平性,形式化分析
Full-Text Cite this paper Add to My Lib
本文指出在分析电子商务协议公平性的过程中,不仅要考虑参与协议的主体被动攻击的情况,同时还要考虑参与协议的主体进行主动攻击的情况.在此基础上,本文对Kailar逻辑进行了改进,使之能够分析协议的可追究性和公平性.
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133