...
机译:模拟量子模拟器的实用验证协议
机译:enquad用于量子密钥分发协议的公开模拟器
机译:致力于自动验证量子密码协议
机译:使用概率模型检查器验证量子协议
机译:普通核算和分析在普通Quantum流程语言中的量子密钥分布协议建模
机译:信息安全性和量子力学:量子协议的安全性。
机译:基于不平衡状态Bennett-Brassard-1984量子密钥分配协议的实用块量子专用查询
机译:使用OPNET Simulator工具对无线局域网(WLAN)中的RIP,EIGRP,OSPF,IGRP路由协议的比较 - 实用方法