会议论文《项重写理论研究及应用》发表于第十九届全国信息保密学术会议(IS2009)，主要探讨项重写理论的基本原理及其在信息安全领域的应用。文章介绍了项重写系统的规范性、终止性等关键性质，并结合实际案例分析其在密码协议验证和形式化方法中的作用，为信息保密技术提供了理论支持与实践参考。
文档为pdf格式，0.24MB，总共5页。
举报
