首页> 外文OA文献 >Verification of Low-level Crypto-Protocol Implementations Using Automated Theorem Proving ∗

【2h】

Verification of Low-level Crypto-Protocol Implementations Using Automated Theorem Proving ∗

机译：使用自动定理证明∗验证低级加密协议实现

页面导航

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

著录项

作者

展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Verifying B proof rules using deep embedding and automated theorem proving [J] . Melanie Jacquel, Karim Berkani, David Delahaye, Software and systems modeling . 2015,第1期

机译：使用深度嵌入和自动定理证明来验证B证明规则
2. Some Key Research Problems in Automated Theorem Proving for Hardware and Software Verification [J] . Matt Kaufmann, J Strother Moore Revista de la Real Academia de Ciencias. A, Matematicas . 2004,第1a2期

机译：硬件和软件验证的自动定理证明中的一些关键研究问题
3. Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System [J] . Bernardeschi Cinzia, Domenici Andrea Information Processing Letters . 2016,第6期

机译：通过原型验证系统的交互式定理证明来验证非线性控制的安全特性
4. Verification of low-level crypto-protocol implementations using automated theorem proving [C] . Jurjens J. Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. Proceedings. Third ACM and IEEE International Conference on . 2005

机译：使用自动定理证明来验证低级加密协议的实现
5. Data Model Verification via Theorem Proving. [D] . Bocic, Ivan. 2016

机译：通过定理证明进行数据模型验证。
6. A theorem proving approach for automatically synthesizing visualizations of flow cytometry data [O] . Sunny Raj, Faraz Hussain, Zubir Husein, 2017

机译：自动合成流式细胞仪数据可视化的定理证明方法
7. Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers [O] . Ševčík Jaroslav 2007

机译：使用自动定理证明器证明底层程序的资源消耗
8. Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions [R] . Winker, S. 1979

机译：使用自动定理证明器回答两个开放问题的有限模型和反例的生成和验证

Verification of Low-level Crypto-Protocol Implementations Using Automated Theorem Proving ∗

著录项

引文网络

相似文献

相关主题

期刊订阅