易思加州大学 swMATH ID: 43591 软件作者： 卡内蒂，R.，斯托顿，A.，瓦里娅，M。 说明： EasyUC：使用EasyCrypt实现通用可组合安全性的机械化证明。EasyCrypt中的Universal Composability实验。 主页： https://par.nsf.gov/servlets/purl/1095463 源代码： https://github.com/easyuc/easyuc网址 关键词： 易思加州大学;EasyCrypt公司;机械化校样;通用可组合性;UC安全框架 相关软件： 威斯特利亚;HyCC公司;JIFF公司;分享者;存档正式证据;隐秘HOL;EasyCrypt公司;伊莎贝尔/HOL 引用于： 2文件 全部的 前5名9位作者引用 1 大卫·阿斯皮纳尔 1 何塞·巴塞拉尔·阿尔梅达 1 曼纽尔·巴博萨 1 吉尔·巴特 1 阿德里亚·加斯科恩 1 安德烈亚斯·洛赫比勒 1 雨果·帕切科 1 维托·佩雷拉 1 伯纳多·波特拉 2篇连载文章中引用 1 自动推理杂志 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 2 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文