Discovery Projects - Grant ID: DP0559592

Funding Activity

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

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

Knowledge Based Model Updating for the Correctness of Security Protocols. This project will fundamentally provide a new paradigm of the security protocol verification and modification. As such, it will significantly enhance Australia's already leading role in the cutting edge research on information security. By applying the new methodology and technology, Australian IT industry will be able to develop more secure communication systems in real world domains. With a very strong research team across different areas such as knowledge reasoning, temporal logics and information security, and a collaborative research training environment, this project will further enhance Australia's international reputation as a leader in computing and IT research.

Funded Activity Details

Start Date: 18-01-2005

End Date: 17-11-2009

Funding Scheme: Discovery Projects

Funding Amount: $284,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Mathematical Logic And Formal Languages | Analysis Of Algorithms And Complexity | Other Information, Computing And Communication Sciences | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Computer software and services not elsewhere classified | Mathematical sciences |

Other Keywords

Analysis Of Algorithms And Complexity | Computation Theory and Mathematics | Computer software and services not elsewhere classified | Mathematical Logic And Formal Languages | Mathematical sciences | Other Information, Computing And Communication Sciences

Related Links