蒂姆·麦库姆;卢克·威尔德曼 SIFA:用于评估高级安全设备的工具。 (英语) Zbl 1127.68390号 Boyd,Colin(编辑)等人,《信息安全与隐私》。2005年7月4日至6日在澳大利亚布里斯班举行的第十届澳大拉西亚会议,ACISP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-26547-3/pbk)。计算机科学课堂讲稿3574230-241(2005)。 摘要:我们描述了一种用于分析安全硬件中信息流的工具。它确定了对保护安全至关重要的两个子电路,以及硬件故障导致信息流的可能性。该工具允许组合电路设计的逻辑视图和物理视图。提供了一个基于加密设备的示例。关于整个系列,请参见[兹比尔1076.94001]. MSC公司: 68第25页 数据加密(计算机科学方面) 软件:SIFA公司 PDF格式BibTeX公司 XML格式引用 \textit{T.McComb}和\textit{L.Wildman},莱克特。注释计算。科学。3574、230--241(2005年;Zbl 1127.68390) 全文: 内政部