[发明专利]秘密篡改检测系统和方法、秘密计算装置、以及记录介质

说明书

对使用多个秘密分散的秘密计算中的篡改进行检测。秘密计算装置(1)将分散值[a₀],…,[a_M‑1]作为输入，将基于函数F的函数值[F([a₀],…,[a_M‑1])]作为输出，对秘密计算中的篡改进行检测，其中，函数F是进行使用J种秘密分散的秘密计算的函数。随机数生成部(12)求出分散值[r₀],…,[r_J‑1]。随机化部(13)计算将分散值[a_m]和分散值[r_j]乘法运算后的分散值[a_mr_j]，生成随机化分散值a_m:＝[a_m],[a_mr_j]。秘密计算部(14)将计算对象和计算结果的随机化分散值包含到校验和C_j中，并且，求出函数值[F([a₀],…,[a_M‑1])]。同步部(15)进行待机直到使用全部的秘密分散的秘密计算结束为止。正当性证明部(16)检验分散值与分散值[ψ_j]是否相等，其中，分散值是对校验和C_j中包含的分散值[f₀],…,[f_μj‑1]的总和乘以分散值[r_j]后的分散值，分散值[ψ_j]是作为校验和C_j中包含的分散值[f₀r_j],…,[f_μj‑1r_j]的总和的分散值[ψ_j]。

技术领域

本发明涉及秘密计算技术，尤其是涉及检测秘密计算中的篡改的技术。

背景技术

作为检测秘密计算中的篡改的现有技术，存在非专利文献1所记载的方法。在非专利文献1所记载的秘密篡改检测方法中，将环R上的加法/常数倍/乘法/积和/随机置换构成的m输入μ输出的函数F，在具有保密性以及正当性的恶意(malicious)模型上进行计算。另外，恶意(malicious)模型是指攻击者进行任意的不正当的动作的模型。相对应地，半诚实(semi-honest)模型是指攻击者进行的处理是正确的，且在该范畴中想要偷看数据的模型。

在非专利文献1中，通过3个阶段来进行秘密计算中的篡改检测。在随机化阶段中，将分散值变换为可检验正当性的随机化分散值。在计算阶段中，使用通过半诚实(semi-honest)的运算而构成的随机化分散值用的运算，执行期望的秘密计算。此时，收集在后续的正当性证明阶段成为必要的校验和，并且进行计算。在正当性证明阶段中，对在计算阶段收集到的校验和，一并进行正当性证明。若为正当则输出计算阶段的计算结果，若不正当则不输出计算结果而是仅输出表示不正当的旨意。

现有技术文献

非专利文献

非专利文献1：五十岚大、千田浩司、滨田浩气、菊池亮、“非常に高効率なn≧2k－1maliciousモデル上秘密分散ベースマルチパーティ計算の構成法”、SCIS2013、2013年

发明内容

发明要解决的课题

在非专利文献1所记载的秘密篡改检测技术中，以使用1个秘密分散的秘密计算为前提，在使用多个秘密分散的秘密计算中无法适用。

本发明的目的是，鉴于该点，对使用多个秘密分散的秘密计算中的篡改进行检测。

用于解决课题的手段