量子马尔可夫链安全性模型检测

• 作者: 李永明 林运国 雷红轩
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 量子马尔可夫链 模型检测 安全性 量子有穷自动机 广义量子loop程序
• 年，卷（期）: 2014,（11）
• 所属期刊栏目: 学术论文
• 页码范围: 2191-2197
• 页数: 7页
• 分类号: TP301.6
• 字数: 8293字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2014.11.010

摘要

本文定义了量子线性时间属性，包括量子安全性，量子不变性，讨论了它们的关系和性质。结合测量一次、测量多次的单向量子有穷自动机，构建了两类乘积量子马尔可夫链，提出了基于自动机技术的量子正则安全性检测方法。通过验证乘积量子马尔可夫链的可达终状态来判断量子正则安全性的可满足性，并给出了可满足性的概率计算公式。作为应用，分析了广义量子loop程序，将程序终止归结为验证量子正则安全性的可满足性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	雷红轩	内江师范学院数学与信息科学学院	22	103	7.0	9.0
3	林运国	陕西师范大学计算机科学学院	18	37	4.0	5.0