SIFA公司

SIFA:一个用于评估高级安全设备的工具我们描述了一个用于分析安全硬件中的信息流的工具。它识别了对安全性至关重要的两个子电路,以及由于硬件故障导致的信息流的可能性。该工具允许组合电路设计的逻辑和物理视图。提供了一个基于加密设备的示例。