会议论文《针对存储为主的模块的一种软件模型检测方法》发表于第二十四届全国信息保密学术会议(IS2014)。该文提出一种适用于以存储为主要功能的软件模块的模型检测方法，旨在提高系统安全性与可靠性。通过构建精确的软件模型并进行形式化验证，有效识别潜在的逻辑错误和安全漏洞，为信息安全领域提供了新的技术手段。
文档为pdf格式，0.81MB，总共6页。
举报
