新形式化逻辑分析方法论文

视频支付协议的设计与分析
论文摘要随着计算机网络的普及及其技术的发展,基于网络的视频应用越来越普遍。在因特网上视频支付服务越来越重要,这一领域应用数量的不断增长,使得研究如何在因特网上执行公平的在线交易...