A formal foundation for security architecture

安全架构的正式基础

• 批准号: DP1097203
• 负责人: Prof Ron van der Meyden
• 金额: $ 19.83万
• 依托单位: The University of New South Wales
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2010
• 资助国家: 澳大利亚
• 起止时间: 2010-01-01 至 2013-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP1097203
• 关键词: formal; foundation; security; architecture

Security of computer systems is essential for the maintenance of privacy, confidentiality and integrity of personal, commercial and government data, and the trustworthiness of the computational devices that are embedded in critical societal infrastructure. However, current theoretical understanding of secure systems development is poor. The project will develop our understanding of an emerging approach to the design of secure systems and develop verification methods that may be applied to guarantee systems security. Its outcomes will contribute to processes for certifying systems at very high levels of security, a requirement in defence and government settings that will become increasingly significant in the commercial sector.

计算机系统的安全对于维护个人、商业和政府数据的隐私、机密性和完整性以及嵌入关键社会基础设施的计算设备的可信度至关重要。然而，目前对安全系统开发的理论理解是贫乏的。该项目将发展我们对安全系统设计的新方法的理解，并开发可用于保证系统安全的验证方法。 其成果将有助于在非常高的安全水平上认证系统的过程，这是国防和政府环境中的一项要求，在商业部门将变得越来越重要。