为提高下一代列车运行控制（简称列控）系统安全计算机的系统兼容性，首先对其结构进行简要分析，并对管理机制进行设计，建立了管理单元状态转移模型，同时以形式化验证工具对模型的正确性进行了验证。在此基础上对基于微控制单元(MCU, micro controller unit)的管理单元进行了软硬件的设计实现与测试。验证和测试结果表明，所设计的管理机制符合设计规范的要求，管理单元能够实现预期的状态转移功能。
2022-03-19 10:26:10
767KB
1
《网络空间安全 恶意流量和恶意代码 结合Wireshark初步分析》专栏的数据包资源
2022-01-29 20:51:53
110.28MB
1
企业网中计算机终端安全管理体系研究，祖峰，，计算机终端是大多数用户访问网络和数据的工具，但是许多组织却在信息安全管理及部署中忽略了对终端的控制，通常一个企业或组织会
2021-12-15 02:10:45
422KB
1