Knowledge Based Model Updating for the Correctness of Security Protocols

基于知识的模型更新确保安全协议的正确性

• 批准号: DP0559592
• 负责人: Prof Yan Zhang
• 金额: $ 19.66万
• 依托单位: Western Sydney University
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2005
• 资助国家: 澳大利亚
• 起止时间: 2005-01-18 至 2009-11-17
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP0559592
• 关键词: Knowledge; Based; Model; Updating; Correctness

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.

该项目将从根本上提供一种新的安全协议验证和修改范例。因此，它将大大加强澳大利亚在信息安全前沿研究中的领先地位。通过应用新的方法和技术，澳大利亚IT行业将能够在现实世界中开发更安全的通信系统。凭借在知识推理、时间逻辑和信息安全等不同领域的强大研究团队，以及协作研究培训环境，该项目将进一步提升澳大利亚作为计算和IT研究领导者的国际声誉。