会议论文《使用基于进程代数的方法建立软件体系结构的安全模型》发表于2008年全国理论计算机科学学术年会。该文提出利用进程代数方法构建软件体系结构的安全模型，通过形式化手段分析系统安全性，提高系统的可信度与可靠性。研究为软件安全设计提供了理论支持和方法指导。
文档为pdf格式，0.3MB，总共4页。
举报
