量子密码协议分析与设计的图演算方法

Abramsky和Bob Coecke等人近年建立了以范畴论为框架的抽象量子力学，它使得建立在Hilbert空间基础上的传统量子力学成为其特例。范畴量子力学的最大优点在于其上代数表达式有相应的图表示，从而代数运算可以转换为简单直观的图演算。而且在描述与分析量子协议时，能给出信息流的表示，相对于传统的协议描述更加全面、简便。.本课题主要在范畴量子力学框架下，利用图演算的方法研究量子密码协议的设计与安全性分析问题以及量子信息论概念的范畴刻画问题。本课题的研究将为上述问题提供有力的数学工具和系统直观的新方法。