首页> 外文OA文献 >Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol

【2h】

Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol

机译：使用KIV验证mondex电子钱包：从交易到安全协议

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Haneberg Dominik; Schellhorn Gerhard; Grandy Holger; Reif Wolfgang (Prof. Dr.);
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verification of Mondex electronic purses with KIV: from transactions to a security protocol [J] . Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Formal Aspects of Computing . 2008,第1期

机译：使用KIV验证Mondex电子钱包：从交易到安全协议
2. Mondex, an electronic purse: specification and refinement checks with the Alloy model-finding method [J] . Tahina Ramananandro Formal Aspects of Computing . 2008,第1期

机译：电子钱包Mondex：使用Alloy模型查找方法进行规格和完善检查
3. The certification of the Mondex electronic purse to ITSEC Level E6 [J] . Jim Woodcock, Susan Stepney, David Cooper, Formal Aspects of Computing . 2008,第1期

机译：Mondex电子钱包的证书达到ITSEC E6级
4. Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code [C] . Holger Grandy, Markus Bischof, Kurt Stenzel, FM 2008: Formal Methods . 2008

机译：使用KIV验证Mondex电子钱包：从安全协议到经过验证的代码
5. On the formal verification of group key security protocols [D] . Gawanmeh, Amjad 2008

机译：关于组密钥安全协议的形式验证
6. Security Architecture and Protocol for Trust Verifications Regarding the Integrity of Files Stored in Cloud Services [O] . Alexandre Pinheiro, Edna Dias Canedo, Rafael Timoteo de Sousa Junior, 2018

机译：用于存储在云服务中的文件完整性的信任验证的安全体系结构和协议
7. Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol [O] . Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, 2006

机译：使用KIV验证mondex电子钱包：从交易到安全协议
8. Modelling and Refinement of the MONDEX Electronics Purse in VDM [R] . Andrews, Z., Bryans, J., Fitzgerald, J., 2011

机译：VDm中mONDEX电子钱包的建模与改进

Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol

著录项

引文网络

相似文献

相关主题

期刊订阅