课题基金 / 基金详情

Process algebra approach to distributed quantum computation and secure quantum communication

Process algebra approach to distributed quantum computation and secure quantum communication
分布式量子计算和安全量子通信的过程代数方法
批准号：
DP110103473
负责人：
Prof Mingsheng Ying
金额：
$20.24万
依托单位：
University of Technology Sydney
依托单位国家：
澳大利亚
项目类别：
Discovery Projects
财政年份：
2011
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2011-01-01 至 2015-12-31
来源：
https://dataportal.arc.gov.au/RGS/Web/Grants/DP110103473
关键词：
Processalgebraapproachdistributedquantum

项目摘要

项目成果

Prof Mingsheng Ying的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This project will develop effective methods for reasoning about the behaviours of distributed quantum computing and communicating systems. The developed methods will provide effective techniques for verifying security of quantum cryptographic protocols.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Verification of quantum cryptographic protocols: a process algebra approach
  • 批准号：
    DP160101652
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $23.83万
  • 财政年份：
    2016
  • 负责人：
    Prof Mingsheng Ying
  • 依托单位：
    University of Technology Sydney
国内基金
海外基金
李代数的权表示