Designing software for secrecy: Security-enabled program algebra [ 2010 - 2012 ]

Research Grant

Researchers A/Prof AK McIver; Prof CC Morgan; Prof MJ Butler

Brief description 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.

Funding Amount $180,000

Funding Scheme Discovery Projects