会议论文《两种形式化模型的安全性分析》发表于第六届中国信息和通信安全学术会议(CCICS2009)，主要探讨了两种形式化模型在安全性方面的表现。文章通过理论分析与实例验证，评估了模型在抵御攻击和保障系统安全方面的有效性，为信息安全领域的形式化方法提供了参考依据。
文档为pdf格式，0.22MB，总共5页。
举报
