尼古拉·德拉戈尼;爱德华多·洛斯塔尔;戴维·帕皮尼;哈维尔·法布拉 SC（^{2}）：通过智能卡进行安全通信。如何在开放式多应用程序智能卡的安全契约中确保非卡匹配。 （英语） Zbl 1302.94044号 Garcia-Alfaro，Joaquin（编辑）等人，《安全基础与实践》。2011年5月12日至13日，第四届加拿大-法国MITACS研讨会，FPS 2011，法国巴黎。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-27900-3/pbk）。计算机科学课堂讲稿6888，32-48（2012）。 摘要：最近提出了契约式安全（S）框架，以支持开放式多应用智能卡中的软件进化。关键思想在于契约的概念，即应用程序的安全行为规范，必须符合承载应用程序的卡的安全策略。在本文中，我们解决了实现S（times）C思想的一个关键问题，即将合同策略匹配服务外包给可信第三方（TTP）。特别地，我们介绍了SC（^{2}）（智能卡安全通信）的设计和实现，这是一个保护智能卡和TTP之间通信的系统，TTP提供S（times）C匹配服务。关于整个系列，请参见[Zbl 1233.94003号]. 理学硕士： 94A60型 密码学 68第25页 数据加密（计算机科学方面） 关键词：契约担保;智能卡;安全通信 软件：Coq公司 PDF格式BibTeX公司 XML格式引用 \textit{N.Dragoni}等人，Lect。注释计算。科学。6888，32-48（2012；Zbl 1302.94044） 全文： 内政部