Discovery Projects - Grant ID: DP1092464

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP1092464

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

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.

Funded Activity Details

Start Date: 01-07-2010

End Date: 01-01-2014

Funding Scheme: Discovery Projects

Funding Amount: $180,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Mathematical Logic And Formal Languages | Logics And Meanings Of Programs | Information Systems Development Methodologies | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Computer software and services not elsewhere classified | Integrated systems | Mathematical sciences |

Other Keywords

Computation Theory and Mathematics | Computer software and services not elsewhere classified | Information Systems Development Methodologies | Integrated systems | Logics And Meanings Of Programs | Mathematical Logic And Formal Languages | Mathematical sciences

Related Links