微型电脑应用2022，Vol.38Issue(7)：P.197-200,4.
基于形式化模型的电力信息审计系统安全协议验证方法
苏霞 1张晶晶 1孙静2
作者信息
- 1. 国网河北省电力有限公司,河北石家庄050021
- 2. 国网河北服务中心,河北石家庄050000
- 折叠
摘要
关键词
形式化模型/电力信息审计系统/安全协议/验证分类
信息技术与安全科学引用本文复制引用
苏霞,张晶晶,孙静..基于形式化模型的电力信息审计系统安全协议验证方法[J].微型电脑应用,2022,38(7):P.197-200,4.
