grant

Designing software for secrecy: Security-enabled program algebra [ 2010-07-01 - 2014-01-01 ]

Research Grant

[Cite as https://purl.org/au-research/grants/arc/DP1092464]

Researchers: A/Prof Annabelle McIver (Chief Investigator) ,  Prof Charles Morgan (Chief Investigator) ,  Prof Michael Butler (Partner Investigator)

Brief description Designing software for secrecy: Security-enabled program algebra. 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

View this grant in the ARC Data Portal

Click to explore relationships graph
Identifiers
Viewed: [[ro.stat.viewed]]