会议论文《安全协议分析中参与者个数上确界的论证》发表于第三届可信计算与信息安全学术会议。该文探讨了在安全协议分析中确定参与者数量上界的方法，旨在为协议安全性提供理论支持。通过形式化方法，作者提出了有效的论证框架，有助于提升协议设计的可靠性与安全性。
文档为pdf格式，0.37MB，总共6页。
举报
