A formal foundation for 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.