SIFA公司

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

zbMATH中的参考文献（参考 2篇文章，1标准件)

显示结果1到2，共2个。
按年份排序(引用)

  1. 海伦，简：卡纳普的描述理论及其问题（2010）
  2. Tim McComb；Wildman，Luke:SIFA：高级安全设备评估工具（2005）