Bell states; braid group; ping-pong protocol; quantum cryptography; quantum secure direct communication;
机译:乒乓协议作为前缀语法:通过程序转换进行建模和验证
机译:扩展的乒乓协议的可判定性问题
机译:安全乒乓协议的充分条件
机译:具有身份验证的“Ping-Pong”协议
机译:为多方身份验证而泛化两方身份验证协议的问题和方法。
机译:嘈杂和有损信道中修改后的乒乓协议的安全性
机译:在中间人攻击下双向平板和LM05 QKD协议如何安全?