Discovery Projects - Grant ID: DP0880549

Funding Activity

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

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

Proof Theoretical Methods for Reasoning about Process Equivalence. The emergence of internet commerce has made the issue of secure computing more urgent than ever. A substantial part of the security issues with today's computer applications are due to design problems. The principles of secure computation have not been fully understood and adequate tools for the construction of secure applications are still lacking. The understanding of the foundations of secure computation is essential in building trusted computer applications. Process calculi and logic represent two promising disciplines in which the principles of analysis and design of secure systems can be studied systematically, out of which formal verification tools can be constructed.

Funded Activity Details

Start Date: 01-01-2008

End Date: 31-12-2011

Funding Scheme: Discovery Projects

Funding Amount: $216,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Programming Languages | Mathematical Logic And Formal Languages | 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 Logic And Formal Languages | Mathematical sciences | Programming Languages

Related Links