首页> 外文OA文献 >Automatic Proof of Strong Secrecy for Security Protocols

【2h】

Automatic Proof of Strong Secrecy for Security Protocols

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

页面导航

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

著录项

作者

展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 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. Secrecy For Bounded Security Protocols With Freshness Check Is Nexptime-complete [J] . Ferucio L. Tiplea, Catalin V. Birjoveanu, Constantin Enea, Journal of computer security . 2008,第6期

机译：具有新鲜度检查的有界安全协议的保密性是Nexptime-complete
4. Automatic proof of strong secrecy for security protocols [C] . Blanchet, B. . 2004

机译：自动证明安全协议的高度机密性
5. Protocols and security proofs for data authentication [D] . Mityagin, Anton 2006

机译：数据认证的协议和安全证明
6. An RFID-Based Smart Structure for the Supply Chain: Resilient Scanning Proofs and Ownership Transfer with Positive Secrecy Capacity Channels [O] . Mike Burmester, Jorge Munilla, Andrés Ortiz, 2017

机译：基于RFID的供应链智能结构：具有正保密能力通道的弹性扫描证明和所有权转移
7. Automatic Proof of Strong Secrecy for Security Protocols [O] . 2004

机译：自动证明安全协议的高度机密性

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号