会议论文《使用组合协议逻辑PCL验证Amended Needham-Schroeder协议》探讨了如何利用组合协议逻辑（PCL）对改进的Needham-Schroeder协议进行形式化验证。该研究旨在确保协议在安全环境下的正确性和可靠性，通过逻辑分析发现潜在的安全漏洞并提出改进方案。论文为协议安全性分析提供了理论支持，对后续密码协议设计具有重要参考价值。
文档为pdf格式，0.19MB，总共3页。
举报
