手动分析
这在实施开始之前适用于体系结构阶段。确保为整个内存图指定访问策略。手动分析可能无法确保实现正确。
|
手动分析
控制硬件的寄存器应实现访问控制。可以手动检查此访问控件以进行正确的实现。要检查的项目包括如何设置受信任的各方,如何验证受信任的各方,如何访问验证等。手动分析的有效性将根据构建界面的复杂性而有所不同。
|
仿真 /仿真
功能模拟适用于实施阶段。必须为内存映射寄存器创建和执行测试柜,以验证遵守访问控制策略的遵守。此方法可能是有效的,因为需要在设计上进行功能验证,并且将包括对该弱点的验证。在测试期间,可能会覆盖整个内存空间。
|
正式验证
正式验证适用于实施阶段。需要创建断言,以捕获非法注册访问方案并证明它们不会发生。正式方法是详尽的,可能非常有效,但是为大型设计创建案例可能是复杂且困难的。
|
自动分析
信息流跟踪可以在实施阶段适用。安全敏感数据(资产)(例如,存储在寄存器中)会随着时间的推移而自动跟踪,以验证数据并未到达违反内存映射访问策略的非法目的地。与仿真和仿真一起使用时,此方法可能非常有效,因为检测违规行为不依赖于特定的方案或数据值。此方法确实依赖于仿真和仿真,因此必须存在测试柜才能使用此方法。
|
建筑或设计评论
手动文档审查系统内存图,注册规范以及与访问通过内存映射寄存器暴露的安全性相关功能相关的权限。
|
模糊
执行渗透测试(手动或用模糊性进行半自动化)来验证访问控制机制,例如内存保护单元或芯片上的总线防火墙设置,可以充分保护关键的硬件寄存器免受软件访问的影响。
|