首页> 外文OA文献 >Verification Method of Key-Exchange Protocols With a Small Amount of Input Using Tamarin Prover

【2h】

Verification Method of Key-Exchange Protocols With a Small Amount of Input Using Tamarin Prover

机译：使用Tamarin Prover具有少量输入的关键交换协议的验证方法

代理获取

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

页面导航

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

著录项

作者
Misato Nakabayashi; Yuki Okano;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Guiding a general-purpose C verifier to prove cryptographic protocols [J] . Francois Dupressoir, Andrew D. Gordon, Jan Juerjens, Journal of computer security . 2014,第5期

机译：指导通用C验证程序来证明密码协议
2. Automated Verification of Wireless Security Protocols using Layered Proving Trees [J] . MARIAN VENTUNEAC, REINER DOJEN, TOM COFFEY WSEAS Transactions on Communications . 2006,第2期

机译：使用分层证明树对无线安全协议进行自动验证
3. The Concept of Layered Proving Trees and Its Application to the Automation of Security Protocol Verification [J] . REINER DOJEN, TOM COFFEY ACM Transaction on Information and System Security . 2005,第3期

机译：分层证明树的概念及其在安全协议验证自动化中的应用
4. Verifying cryptographic protocols by Tamarin Prover [C] . Evgenii Vinarskii, Alexey Demakov, Alexander Kamkin, Ivannikov Memorial Workshop . 2020

机译：通过Tamarin Prover验证加密协议
5. Analysis of BCNS and Newhope Key-Exchange Protocols. [D] . Hesamian, Seyedamirhossein. 2017

机译：BCNS和Newhope密钥交换协议的分析。
6. Low-cost low-input RNA-seq protocols perform nearly as well as high-input protocols [O] . Peter A. Combs, Michael B. Eisen -1

机译：低成本低输入RNA-seq协议的性能几乎与高输入协议相同
7. Modelling and verifying key-exchange protocols using CSP and FDR [O] . A. W. Roscoe 1995

机译：使用CSP和FDR建模和验证密钥交换协议

Verification Method of Key-Exchange Protocols With a Small Amount of Input Using Tamarin Prover

著录项

引文网络

相似文献

相关主题

期刊订阅