首页> 外文OA文献 >Extracting and verifying cryptographic models from C protocol code by symbolic execution

【2h】

Extracting and verifying cryptographic models from C protocol code by symbolic execution

机译：通过符号执行从C协议代码中提取和验证加密模型

代理获取

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

页面导航

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

著录项

作者
Aizatulin, M.; Gordon, A.D.; Jürjens, J.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols [J] . Jose Meseguer, Prasanna Thati Higher-order and symbolic computation . 2007,第1a2期

机译：使用缩窄的符号可达性分析及其在密码协议验证中的应用
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. Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution [C] . Mihhail Aizatulin, Andrew D. Gordon, Jan Juerjens 18th ACM conference on computer amp; communications security. . 2011

机译：通过符号执行从C协议代码中提取和验证密码模型
5. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code [D] . Islam, Mainul. 2015

机译：自动测试用例生成具有用于编码接口和注释或使用本机代码编码的程序的动态符号执行
6. A model-guided symbolic execution approach for network protocol implementations and vulnerability detection [O] . Shameng Wen, Qingkun Meng, Chao Feng, 2011

机译：用于网络协议实现和漏洞检测的模型指导的符号执行方法
7. Extracting and verifying cryptographic models from C protocol code by symbolic execution [O] . Aizatulin, Mihhail, Gordon, Andrew D., Jürjens, Jan 2011

机译：通过符号执行从C协议代码中提取和验证加密模型
8. Simple Method for Extracting Models from Protocol Code [R] . Lie, D. , Chou, A. , Engler, D. , 2000

机译：从协议代码中提取模型的简单方法

Extracting and verifying cryptographic models from C protocol code by symbolic execution

著录项

引文网络

相似文献

相关主题

期刊订阅