G2C公司 swMATH ID: 25265 软件作者： 迈克尔·巴克斯（Michael Backes）；马特奥·马菲；Pecina，Kim；拉斐尔·雷舒克。 描述： G2C：目标驱动规范中的密码协议。我们介绍了G2C，一种用于分布式应用程序的目标驱动规范语言。该语言支持功能目标和安全属性的声明性规范。前者包括各方、各方的投入和通信协议的目标。后者包括保密性、访问控制和匿名性要求。我们的语言的一个关键特性是，它抽象了预期功能是如何实现的，但相反，它让系统设计者专注于应该实现哪些功能特性和安全属性。我们的框架提供了一种编译方法，用于将G2C规范转换为符号加密协议，这些协议被证明是最优的。我们提供了一种使用ProVerif自动验证这些协议的正确性和安全性的技术，ProVerifi是一种先进的密码协议自动理论证明工具。我们已经实现了一个G2C编译器来证明我们的方法的可行性。 主页： https://www.infsec.cs.uni-saarland.de/~reischuk/g2c/ 相关软件： Gecode公司;AURA公司 引用于： 1文件 更多出版物： https://www.infsec.cs.uni-saarland.de/~reischuk/g2c/publications.php 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 G2C：来自目标驱动规范的加密协议。 Zbl 1378.94021号迈克尔·巴克斯;马特奥·马菲;金·佩西纳;拉斐尔·雷舒克（Raphael M.Reischuk）。 2012 4位作者引用 1 迈克尔·巴克斯 1 马特奥·马菲 1 金·佩西纳 1 拉斐尔·雷舒克（Raphael M.Reischuk）。 0连载引用 在2个字段中引用 1 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文