Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems

模型检查量子马尔可夫链：面向量子密码系统的验证技术

• 批准号: DP130102764
• 负责人: Prof Yuan Feng
• 金额: $ 23.45万
• 依托单位: University of Technology Sydney
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2013
• 资助国家: 澳大利亚
• 起止时间: 2013-01-01 至 2017-06-30
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP130102764
• 关键词: Model; checking; quantum; Markov; chains

This project will develop effective techniques and practical tools for verification of correctness, safety and reliability of quantum cryptographic protocols and communication systems. It will promote Australia's global standing in quantum computing research and provide frontier technology to industry and governments nationally and internationally.

该项目将开发有效的技术和实用工具，以验证量子密码协议和通信系统的正确性，安全性和可靠性。它将促进澳大利亚在量子计算研究中的全球地位，并在国内和国际上为工业和政府提供边界技术。