模型检查量子马尔可夫链：面向量子密码系统的验证技术-猫眼课题宝

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

批准号：

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

项目摘要

项目成果

Prof Yuan Feng的其他基金

相似基金

相关文献

中文摘要

翻译

该项目将开发有效的技术和实用工具来验证量子密码协议和通信系统的正确性、安全性和可靠性。它将提升澳大利亚在量子计算研究方面的全球地位，并向国内和国际行业和政府提供前沿技术。

英文摘要

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.

期刊论文(0)

专著(0)

科研奖励(0)

会议论文