Information Security Evaluation of Embedded Computer Software

保护机密电子通信具有重大的国家重要性。这项关于计算机软件安全评估的研究得到了国防信号局的支持，该委员会负责验证澳大利亚政府和武装部队使用的通信设备的安全性。随着这类设备变得越来越复杂，传统的安全评估技术已经变得难以接受，而且成本高昂。基于通过电路图跟踪路径的硬件评估技术已被证明不适用于软件评估。因此，为嵌入式计算机软件的信息安全评估设计新的工具和技术对于维护澳大利亚的国家安全至关重要。

Safeguarding classified electronic communications is of major national importance. This research, into security evaluation of computer software, is supported by the Defence Signals Directorate, which verifies the security of communications devices used by Australia's government and armed forces. As such devices become increasingly sophisticated, traditional security evaluation techniques have become unacceptably difficult and costly. Hardware evaluation techniques, based on tracing paths through circuitry diagrams, have proven unsuitable for software evaluations. Consequently, devising new tools and techniques for information security evaluation of embedded computer software is essential for preserving Australia's national security.