Security Analysis of an Electronic Commerce Protocol Using Casper_FDR2 - 第六届中国可信计算与信息安全学术会议.pdf

论文《Security Analysis of an Electronic Commerce Protocol Using Casper_FDR2》针对电子商业协议的安全性进行了深入分析，利用Casper_FDR2工具进行形式化验证。该研究通过模型检测方法，识别协议中的潜在安全漏洞，确保交易过程的机密性、完整性和可用性。文章为电子商务系统的安全设计提供了理论支持和实践指导，具有重要的学术价值和应用意义。

文档为pdf格式，0.39MB，总共5页。

2025-12-14 14:57 上传 Security Analysis of an Electronic Commerce Protocol Using Casper_FDR2 - 第六届中国可信计算与信息安全学术会议.pdf

文件大小:

399.36 KB

下载次数:

60

Security Analysis of an Electronic Commerce Protocol Using Casper_FDR2 - 第六届中国可信计算与信息安 ...

高速下载