不可靠环境相关论文
随着网络的大规模应用,越来越多的协议在并发的、不可靠的环境中执行。文章用有限自动机时FR协议建模.并用自动验证工具UPPAAL验证了......
随着网络的大规模应用,电子商务协议的运行环境越来越不可靠。本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。......
随着网络的迅速发展,电子商务正逐渐得到大规模的应用。但电子商务的安全问题也越来越突出,已成为网上购物者的主要顾虑,没有安全......