Discovery Projects - Grant ID: DP0879529

Funding Activity

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

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

Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology. Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devices that we might not even realise we are using. Our research aims to make it easier and more effective to describe and then successfully build-in features that enforce security without adverse impact on usability.

Funded Activity Details

Start Date: 01-07-2008

End Date: 30-06-2011

Funding Scheme: Discovery Projects

Funding Amount: $195,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