首页> 外文OA文献 >Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project

【2h】

Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project

机译：加密协议实现的自动安全验证：验证Jessie项目

代理获取

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

页面导航

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

著录项

作者
Jürjens Jan;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Mechanized Verification of Security Properties of Transport Layer Security 1.2 Protocol with Crypto Verif in Computational Model [J] . Bo Meng, Leyuan Niu, Yitong Yang, Information Technology Journal . 2014,第4期

机译：在计算模型中使用Crypto Verif对传输层安全1.2协议的安全属性进行机械化验证
2. Mechanized Verification of Security Properties of Transport Layer Security 1.2 Protocol with Crypto Verif in Computational Model [J] . Bo Meng, Leyuan Niu, Yitong Yang, Information Technology Journal . 2014,第4期

机译：在计算模型中使用Crypto Verif对传输层安全1.2协议的安全属性进行机械化验证
3. Automated verification of selected equivalences for security protocols [J] . Bruno Blanchet, Martin Abadi, Cedric Fournet The Journal of logic and algebraic programming . 2008,第1期

机译：自动验证所选安全协议的等效项
4. Verification of low-level crypto-protocol implementations using automated theorem proving [C] . Jurjens J. Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. Proceedings. Third ACM and IEEE International Conference on . 2005

机译：使用自动定理证明来验证低级加密协议的实现
5. Verifying sensor network security protocol implementations. [D] . Hanna, Youssef. 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 Low-level Crypto-Protocol Implementations Using Automated Theorem Proving ∗ [O] . 2008

机译：使用自动定理证明∗验证低级加密协议实现

Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project

著录项

引文网络

相似文献

相关主题

期刊订阅