CoSP公司 swMATH ID: 25389 软件作者: Michael Backes、Dennis Hofheinz、Dominique Unruh 描述: CoSP:计算稳健性证明的通用框架。我们描述了CoSP,这是一个通用框架,用于对符号模型进行计算稳健性证明,并将这些证明嵌入到形式计算中。CoSP考虑了任意等式理论和计算实现,并抽象出了许多对证明计算可靠性不重要的细节,例如消息调度、损坏模型,甚至协议的内部结构。CoSP能够在保留跟踪属性的意义上,以概念模块化和通用的方式证明可靠结果:为y计算证明x密码原语的正确性只需要x+y证明(而不是没有此框架的x•y证明),并且嵌入计算的过程从概念上与密码原语的计算稳健性证明解耦。我们通过证明主动攻击下成熟的应用π演算的第一个计算稳健性结果来证明CoSP的有用性。具体来说,我们将应用的π演算嵌入到CoSP中,并给出了公钥加密和数字签名的良好实现 主页: https://dl.acm.org/citation.cfm?id=1653672 相关软件: AVISPA公司;EasyCrypt公司;ProVerify公司;亚帕;动物园概率系统;自动参照;F类*;举起;换乘;pGCL公司;区域设置;伊莎贝尔/HOL;Coq公司;太阳神;塔马林;第页,共页 引用于: 5文件 全部的 前5名9位作者引用 2 凯瑟琳·梅多斯。 1 马丁·阿巴迪 1 迈克尔·巴克斯 1 费边·本顿 1 布鲁诺·布兰切特 1 塞德里克·Fornet 1 安德烈亚斯·洛赫比勒 1 巴甫洛维奇,杜什科 1 多米尼克·安鲁 连载1篇 1 美国医学会杂志 在2个字段中引用 4 计算机科学(68至XX) 4 信息与通信理论、电路(94-XX) 按年份列出的引文