首页> 外文OA文献 >HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols

【2h】

HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols

机译：Hermes：用于验证安全协议中保密的自动工具

代理获取

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

页面导航

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

著录项

作者
Liana Bozga; Yassine Lakhnech; Michaël Périn;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic [J] . JihongHan, ZhiyongZhou, YadiWang International Journal of Distributed Sensor Networks . 2009,第1期

机译：一阶逻辑中加密协议保密的自动验证
2. Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols [J] . Marco Bozzano, Giorgio Delzanno Journal of symbolic computation . 2004,第5期

机译：自动验证密码协议线性逻辑规范的保密性
3. Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service [J] . Xiaohong Li, Jiayi Xu, Guangquan Xu, International journal of software engineering and knowledge engineering . 2016,第4期

机译：Fepchecker：自动模型检查器，用于验证Web服务中安全协议的公平性和不可否认性
4. HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols [C] . Liana Bozga, Yassine Lakhnech, Michaeel Perin Computer Aided Verification . 2003

机译：HERMES：一种用于验证安全协议中的保密性的自动工具
5. Classification, formalization and automatic verification of untraceability in RFID protocols. [D] . Khadem Mohtaram, Ali. 2013

机译：RFID协议中不可追溯性的分类，形式化和自动验证。
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. Seve: Automatic tool for verification of security protocols [O] . LUU ANH TUAN 2011

机译：Seve：用于验证安全协议的自动工具

HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols

著录项

引文网络

相似文献

相关主题

期刊订阅