Information Security Evaluation of Embedded Computer Software

嵌入式计算机软件信息安全评估

• 批准号: LP0776344
• 负责人: Prof Colin Fidge
• 金额: $ 8.41万
• 依托单位: Queensland University of Technology
• 依托单位国家: 澳大利亚
• 项目类别: Linkage Projects
• 财政年份: 2007
• 资助国家: 澳大利亚
• 起止时间: 2007-01-01 至 2011-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/LP0776344
• 关键词: Information; Security; Evaluation; Embedded; Computer

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.

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