文件大小：0.54 MB 15页
量子密码协议的自动验证
作者
-
部分： 体积： 第26届并行理论国际会议（CONCUR 2015）
系列： 莱布尼茨国际信息学论文集
会议： 并行理论国际会议（CONCUR） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2015-08-26
文件
文件标识符
引用为 获取BibTex
摘要
关键词
量子密码协议 验证 仿真对 安全
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
A.阿尔迪尼和A.迪皮耶罗。 估计最大信息泄漏量。 《国际信息安全杂志》，7（3）：219-2422008。 
-
易卜拉欣·阿尔德斯希尔·拉里贾尼（Ebrahim Ardeshir-Larijani）、西蒙·盖伊（Simon J Gay）和拉贾戈帕尔·纳加拉扬（Rajagopal Nagarajan）。 量子协议的等效性检查。 在TACAS’13中，第478-492页。 施普林格，2013年。
-
易卜拉欣·阿尔德斯希尔·拉里贾尼（Ebrahim Ardeshir-Larijani）、西蒙·盖伊（Simon J Gay）和拉贾戈帕尔·纳加拉扬（Rajagopal Nagarajan）。 通过等价性检查验证并发量子协议。 在TACAS’14中，第500-514页。 施普林格，2014年。
-
C.H.Bennett和G.Brassard。 量子密码学：公开密钥分发和投币。 《IEEE计算机、系统和信号处理国际会议论文集》，第175-179页，1984年。
-
T·A·S·戴维森。 使用量子过程微积分的形式验证技术。 沃里克大学博士论文，2011年。
-
Y.Deng和Y.Feng。 量子过程的开放互模拟。 TCS’12：第七届IFIP TC 1/WG 202国际理论计算机科学会议论文集。 Springer-Verlag，2012年9月。 完整版本可在 http://arxiv.org/abs/1201.0416。
-
邓玉欣（Yuxin Deng）、罗伯·范·格拉贝克（Rob van Glabbeek）、马修·亨尼西（Matthew Hennessy）和卡罗尔·摩根（Carroll Morgan）。 测试有限概率过程（扩展抽象）。 2009年CONCUR，第274-288页。 施普林格，2009年。
-
Laurent Doyen、Thomas A Henzinger和Jean-Francois Raskin。 标记马尔可夫链的等价性。 国际计算机科学基础杂志，19（03）：549-5632008。
-
Christian Eisentraut、Jens Chr Godskesen、Holger Hermanns、Lei Song和Lijun Zhang。 马尔可夫自动机的后期弱互模拟。 http://arxiv.org/abs/1202.4116 2012年2月。
-
Y.Feng、R.Duan、Z.Ji和M.Ying。 量子过程的概率互模拟。 信息与计算，205（11）：1608-16392007年11月。
-
Y.Feng、R.Duan和M.Ying。 量子过程的相互模拟。 2011年，《POPL'11》编辑穆利·萨吉夫（Mooly Sagiv），第523-534页。
-
袁峰、邓玉欣和英明生。 量子过程的符号互模拟。 ACM计算逻辑汇刊，15（2）：14:1-14:322014年5月。
-
S.J.Gay和R.Nagarajan。 通信量子过程。 J.Palsberg和M.Abadi，编辑，POPL'05，第145-157页，2005年。
-
霍尔格·赫尔曼斯（Holger Hermanns）、扬·科拉尔（Jan Krcál）和扬·克伦茨克（Jan Kretínsk）。 概率互模拟：自然分布。 在Paolo Baldan和Daniele Gorla，编辑，CONCUR’14。 施普林格，2014年。
-
B.Jonsson、W.Yi和K.G.Larsen。 过程代数的概率扩张。 《过程代数手册》，第685-710页。 荷兰北部，阿姆斯特丹，2001年。
-
P.Jorrand和M.Lalire。 走向量子过程代数。 在P.Selinger，编辑，QPL'04，第111页，2004年。
-
久保田高弘、川谷佳彦、加藤太郎、川野康彦和樱田英机。 过程演算在量子协议安全证明中的应用。 在FCS’12中，第141-147页，2012年。
-
M Kwiatkowska、G Norman和D Parker。 PRISM 2.0：概率模型检查工具。 在QEST'04中，第322-323页，2004年9月。
-
玛丽·拉里尔。 量子过程之间的关系：双相似性和同余。 计算机科学中的数学结构，16（3）：407-4282006。
-
多米尼克·梅耶斯（Dominic Mayers）。 量子密码中的无条件安全。 美国医学会杂志，48（3）：351-4062001。
-
J Mitchell、A Ramanathan、A Scedrov和V Teague。 密码协议分析的概率多项式时间演算：（初步报告）。 理论计算机科学电子笔记，45:280-3102000年12月。
-
Rajagopal Nagarajan、Nikolaos Papanikolaou、Garry Bowen和Simon Gay。 量子密钥分发安全性的自动分析。 2005年SecCo’05。
-
M.Nielsen和I.Chuang。 量子计算和量子信息。 剑桥大学出版社，2000年。
-
A.Di Pierro、C.Hankin和H.Wiklicky。 测量概率系统的限制。 理论计算机科学，340（1）：3-562005。
-
Ajith Ramanathan、John Mitchell、Andre Scedrov和Vanessa Teague。 网络协议安全分析的概率互模拟和等价性。 在FOSSACS’04中，第468-483页。 施普林格，柏林，2004年。
-
彼得·肖尔和约翰·普雷斯基尔。 BB84量子密钥分发协议的简单安全性证明。 《物理评论快报》，85（2）：4412000。
-
M.Ying、Y.Feng、R.Duan和Z.Ji。 量子过程的代数。 ACM计算逻辑汇刊，10（3）：1-362009年4月。