论文部分内容阅读
N方的合同签署协议包含多个子协议，并允许N-1个缔约方违背协议的规定进行不诚实的操作，其形式化分析遇到了新的挑战。利用Paulson归纳法，给出了BW多方合同签署协议的形式化描述，利用定理证明工具Isabelle／HOL，证明了BW协议的公平性定理。
BW多方合同签署协议的公平性验证
【摘 要】
：
N方的合同签署协议包含多个子协议，并允许N-1个缔约方违背协议的规定进行不诚实的操作，其形式化分析遇到了新的挑战。利用Paulson归纳法，给出了BW多方合同签署协议的形式化描述，
【机 构】
：
解放军理工大学指挥自动化学院 南京 210007
【出 处】
：
全国第四届Web信息系统及其应用学术会议、全国第二届语义Web与本体论学术研讨会、全国电子政务技术与办公自动化学术研讨会
【发表日期】
：
2007年期
其他文献
Web日志挖掘在个性化Web服务方面起着越来越重要的作用，文章将聚类技术中层次聚类方法的典型算法——CURE算法运用于Web日志中，对Web日志进行分析，发挥CURE算法的性能优势，更加快