首页> 外文OA文献 >An Approach to the Formal Verification of Cryptographic Protocols

【2h】

An Approach to the Formal Verification of Cryptographic Protocols

机译：密码协议形式验证的一种方法

页面导航

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

著录项

作者
Dominique Bolignano;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An approach to the formal verification of the three-principal cryptographic protocols [J] . Yuqing ZHANG, Xiuying LIU Operating systems review . 2004,第1期

机译：正式验证三原则密码协议的方法
2. Formal verification and attack sequence generation of cryptographic protocol based on CP-nets [J] . Bai Yunli, Yang Ting, Mi Xiaoqin BioTechnology: An Indian Journal . 2014,第23期

机译：基于CP-net的加密协议的形式验证和攻击序列生成
3. Security Verification of Real-Time Cryptographic Protocols Using a Rewriting Approach [J] . Takehiko TANAKA, Yuichi KAJI IEICE Transactions on Information and Systems . 1998,第4期

机译：使用重写方法对实时密码协议进行安全性验证
4. An approach to the formal verification of cryptographic protocols [C] . Dominique Bolignano ACM conference on Computer and communications security . 1996

机译：正式验证密码协议的方法
5. Equational unification and its application in formal verification of cryptographic protocols [D] . Wang, Lida 2004

机译：方程式统一及其在密码协议形式验证中的应用
6. Physical cryptographic verification of nuclear warheads [O] . R. Scott Kemp, Areg Danagoulian, Ruaridh R. Macdonald, 2016

机译：核弹头的物理密码验证
7. A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards [O] . Henzl M., Hanacek P. 2016

机译：使用加密非接触式智能卡的协议的安全形式验证方法
8. Formal Verification of Cryptographic Protocols: A Survey. [R] . Meadows, C. A. 1995

机译：密码协议的形式验证：一项调查。

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号