SIFA公司 swMATH编号： 1350 软件作者： Tim McComb；卢克·威尔德曼 描述： SIFA：高级安全设备评估工具我们描述了一种分析安全硬件中信息流的工具。它确定了对保护安全至关重要的两个子电路，以及硬件故障导致信息流的可能性。该工具允许组合电路设计的逻辑视图和物理视图。提供了一个基于加密设备的示例。 主页： http://sourceforge.net/projects/sifa/ 相关软件： 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 SIFA：用于评估高级安全设备的工具。 Zbl 1127.68390号蒂姆·麦库姆;卢克·威尔德曼 2005 3位作者引用 1 海伦，简 1 蒂姆·麦库姆 1 卢克·威尔德曼 连载1篇 1 Studia Logica公司 在2个字段中引用 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的引文