Discovery Projects - Grant ID: DP1097203

Funding Activity

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

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

A formal foundation for security architecture. Security of computer systems is essential for the maintenance of privacy, confidentiality and integrity of personal, commercial and government data, and the trustworthiness of the computational devices that are embedded in critical societal infrastructure. However, current theoretical understanding of secure systems development is poor. The project will develop our understanding of an emerging approach to the design of secure systems and develop verification methods that may be applied to guarantee systems security. Its outcomes will contribute to processes for certifying systems at very high levels of security, a requirement in defence and government settings that will become increasingly significant in the commercial sector.

Funded Activity Details

Start Date: 01-01-2010

End Date: 31-12-2013

Funding Scheme: Discovery Projects

Funding Amount: $285,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Logics And Meanings Of Programs | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Computer software and services not elsewhere classified | Mathematical sciences |

Other Keywords

Computation Theory and Mathematics | Computer software and services not elsewhere classified | Logics And Meanings Of Programs | Mathematical sciences

Related Links