首页> 外文OA文献 >The open-source fixed-point model checker for symbolic analysis of security protocols

【2h】

The open-source fixed-point model checker for symbolic analysis of security protocols

机译：用于安全协议符号分析的开源定点模型检查器

页面导航

著录项
相似文献
相关主题

著录项

作者
Sebastian Mödersheim; Luca Viganò;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. OFMC: A symbolic model checker for security protocols [J] . David Basin, Sebastian Modersheim, Luca Vigano International Journal of Information Security . 2005,第3期

机译：OFMC：安全协议的符号模型检查器
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 Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols [C] . Sebastian Modersheim, Luca Vigano International Schools on Foundations of Security Analysis and Design . 2009

机译：用于安全协议符号分析的开源定点模型检查器
5. BRUTUS: A model checker for security protocols. [D] . Marrero, Wilfredo Rogelio. 2001

机译：BRUTUS：安全协议的模型检查器。
6. A symbolic/subsymbolic interface protocol for cognitive modeling [O] . Patrick Simen, Thad Polk -1

机译：认知建模的符号/次倍界面协议
7. An On-The-Fly Model-Checker for Security Protocol Analysis [O] . David Basin, Sebastian Mödersheim, Luca Viganò 2003

机译：用于安全协议分析的即时模型检查器
8. Combining Theory Generation and Model Checking for Security Protocol Analysis [R] . Hopper, N. J. , Seshia, S. A. , Wing, J. M. 2000

机译：理论生成与模型检验相结合的安全协议分析

The open-source fixed-point model checker for symbolic analysis of security protocols

著录项

相似文献

相关主题

期刊订阅