首页> 外文会议>Computer aided verification >The TAMARIN Prover for the Symbolic Analysis of Security Protocols

【24h】

The TAMARIN Prover for the Symbolic Analysis of Security Protocols

机译：TAMARIN证明用于安全协议的符号分析

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

The Tamarin prover supports the automated, unbounded, symbolic analysis of security protocols. It features expressive languages for specifying protocols, adversary models, and properties, and support for efficient deduction and equational reasoning. We provide an overview of the tool and its applications.

机译：Tamarin证明程序支持对安全协议进行自动化，无限制的符号分析。它具有用于指定协议，对手模型和属性的表达语言，并支持有效的演绎和方程式推理。我们提供了该工具及其应用的概述。

著录项

来源
《Computer aided verification》|2013年|696-701|共6页
会议地点 Saint Petersburg(RU)
作者
Simon Meier; Benedikt Schmidt; Cas Cremers; David Basin;
展开▼
作者单位

Institute of Information Security, ETH Zurich, Switzerland;

IMDEA Software Institute, Madrid, Spain;

Institute of Information Security, ETH Zurich, Switzerland;

Institute of Information Security, ETH Zurich, Switzerland;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings [J] . Zhang Z., Zhu L., Liao L., Information Sciences: An International Journal . 2012,第Null期

机译：使用双线性配对对组密钥交换协议进行计算合理的符号安全性降低分析
2. A Survey on Analysis of Selected Cryptographic Primitives and Security Protocols in Symbolic Model and Computational Model [J] . Bo Meng Information Technology Journal . 2011,第6期

机译：符号模型和计算模型中选择的加密基元和安全协议分析的调查
3. A Survey on Analysis of Selected Cryptographic Primitives and Security Protocols in Symbolic Model and Computational Model [J] . Bo Meng Information Technology Journal . 2011,第6期

机译：符号模型和计算模型中选择的加密基元和安全协议分析的调查
4. The TAMARIN Prover for the Symbolic Analysis of Security Protocols [C] . Simon Meier, Benedikt Schmidt, Cas Cremers, CAV 2013 . 2013

机译：Tamarin报告证明安全协议的象征性分析
5. Developing strand space based models and proving the correctness of the IEEE 802.11i authentication protocol with restricted security objectives [D] . Furqan, Zeeshan. 2007

机译：开发基于链空间的模型并证明具有受限安全目标的IEEE 802.11i身份验证协议的正确性
6. A Security Analysis of the 802.11s Wireless Mesh Network Routing Protocol and Its Secure Routing Protocols [O] . Whye Kit Tan, Sang-Gon Lee, Jun Huy Lam, 2013

机译：802.11s无线网状网络路由协议及其安全路由协议的安全性分析
7. The TAMARIN Prover for the Symbolic Analysis of Security Protocols [O] . 2015

机译：TamaRIN prover用于安全协议的符号分析
8. Toward Compositional Analysis of Security Protocols Using Theorem Proving [R] . Sheyner, O. , Wing, J. 2000

机译：利用定理证明对安全协议的成分分析

The TAMARIN Prover for the Symbolic Analysis of Security Protocols

摘要

著录项

相似文献

相关主题

期刊订阅