首页> 外文OA文献 >Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols

【2h】

Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols

机译：罗霖的自动生成源lemmas：朝向安全协议的自动证明

代理获取

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

页面导航

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

著录项

作者
Véronique Cortier; Stéphanie Delaune; Jannik Dreier;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Fast automatic security protocol generation [J] . Hongbin Zhou, Simon N. Foley Journal of computer security . 2012,第2a3期

机译：快速自动安全协议生成
2. 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服务中安全协议的公平性和不可否认性
3. On Formal and Automatic Security Verification of WSN Transport Protocols [J] . Vinh Thong Ta, Levente Buttyán, Amit Dvir ISRN Sensor Networks . 2014,第1期

机译：WSN传输协议的正式和自动安全验证
4. Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols [C] . Veronique Cortier, Stephanie Delaune, Jannik Dreier European Symposium on Research in Computer Security . 2020

机译：罗霖的自动生成源lemmas：朝向安全协议的自动证明
5. Automatic design of network security protocols. [D] . Ho, Randy Wesley. 2002

机译：自动设计网络安全协议。
6. Size‐based protocol optimization using automatic tube current modulation and automatic kV selection in computed tomography [O] . Robert D. MacDougall, Patricia L. Kleinman, Michael J. Callahan 2016

机译：在计算机断层摄影中使用自动管电流调制和自动kV选择的基于大小的协议优化
7. Automatic Proof of Strong Secrecy for Security Protocols [O] . 2008

机译：安全协议的强保密自动证明

Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols

著录项

引文网络

相似文献

相关主题

期刊订阅