电子商务安全协议相关论文
本文建立了基于CTL的电子商务协议模型，该模型形式化地描述了电子商务协议的身份认证、杌密性、完整性、非否认性、拒绝服务性和存......
电子商务越来越深入我们的商务活动,电子支付系统是电子商务中最重要的环节之一,主要用来解决电子商务中的各交易实体（用户、商家、......
随着计算机网络的飞速发展,电子商务逐渐成为人们进行商务活动的新模式。电子商务安全协议是构建电子商务安全环境的基础,是保障电......
安全协议的安全性是网络与信息安全的重要基础,运用形式化方法分析安全协议已成为目前研究的主要热点。本文主要研究运用形式化技......
