Designing software for secrecy: Security-enabled program algebra

确保个人电脑的安全和隐私是计算机工程中的一个关键问题。智能卡和网络应用中频繁出现的软件安全漏洞意味着迫切需要新的软件设计技术。该项目旨在通过创造智能技术来提高计算机软件的质量，这将使设计人员更容易描述并成功地在软件中构建功能，从而在不对可用性产生不利影响的情况下加强软件的安全性。这项研究解决了国家安全优先事项3，智能技术，并将建立在澳大利亚在开拓创新技术方面的世界领先地位。

Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build-in features that enforce security in software without adverse impact on usability. This research addresses National Security Priority 3, Smart technology, and will build on Australia's world-leading position in pioneering uptake of innovative technology.