×

基于同态加密的两方协议通用复合符号分析。 (英语) Zbl 1328.68025号

Nguyen,Phong Q.(编辑)等人,《密码学进展——2014年欧洲密码》。2014年5月11日至15日,丹麦哥本哈根,第33届密码技术理论与应用国际年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-55219-9/pbk)。《计算机科学讲义》8441695-712(2014)。
摘要:我们考虑一类两方函数求值协议,其中各方可以使用理想功能以及一组强大的原语,即承诺、同态加密和某些零知识证明。有了这些,就可以捕获用于不经意传输、重叠和乘法三元组生成的协议。
我们展示了如何将我们类中的任何协议编译成抽象过程演算中表示为过程的符号表示,并证明了一个通用的计算稳健性定理,这意味着如果协议在符号设置中实现了给定的理想功能,然后,原始版本还实现了标准计算UC设置中的理想功能。换句话说,该定理允许我们将抽象符号设置中的证明转换为标准UC模型中的证明。
最后,我们已经验证了符号解释在许多情况下足够简单,可以使用ProVerify工具实现符号证明的部分自动化。
关于整个系列,请参见[Zbl 1287.94004号].

MSC公司:

68个M12 网络协议
68第25页 数据加密(计算机科学方面)
94A60型 密码学
PDF格式BibTeX公司 XML格式引用
全文: 内政部