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

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

批准号：

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)

会议论文