会议论文《基于状态机理论的可信平台模块测试研究》发表于第三届可信计算与信息安全学术会议。该文提出一种利用状态机理论对可信平台模块进行测试的方法,旨在提高模块的可靠性和安全性。通过构建状态机模型,实现对模块行为的全面分析与验证,为可信计算领域提供新的测试思路和技术支持。
文档为pdf格式,0.17MB,总共3页。
举报