隐私保护的推理机策略加密及应用

• 作者: TAKAGI Tsuyoshi 张明武 杨波 王春枝
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 有限自动机 双系统加密 隐私保护 语义安全
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 隐私保护
• 页码范围: 897-908
• 页数: 12页
• 分类号: TP309
• 字数: 12533字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2015.00897

摘要

确定性有限自动状态机是能表示有限个状态以及在这些状态之间转移和动作等行为的数学模型.本文提出两种基于有限状态自动机策略的加密方案:第1种方案称为无消息负载方案,方案中密文关联到一有限自动机M而令牌关联到一个任意长的输入串w,系统能在密文空间和密钥空间测试是否令牌关联的输入串可以被密文中的自动机接受.同时给出了转换到素数阶群构建的方法.第2种方案以前种方案为原语,扩展到支持消息负载保密的方案,当自动机接受输入串时,可以成功从密文中提取明文.采用双系统加密技术,在静态安全假设下证明了该方案达到标准模型下自适应语义安全性.同时给出了两种方案的性能评测.所提出的方案可应用于隐私保护的安全外包计算、网络防火墙内容过滤、模板隐私保护的DNA比对等领域,文中给出了实际应用中的具体案例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王春枝	湖北工业大学计算机学院	85	410	11.0	15.0
2	杨波	陕西师范大学计算机学院	55	236	8.0	11.0
3	张明武	湖北工业大学计算机学院	25	84	5.0	7.0