首页> 外文OA文献 >Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic

【2h】

Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic

机译：具有动态认知逻辑的加密协议的高效验证

代理获取

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

页面导航

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

著录项

作者
Xiaojuan Chen; Huiwen Deng;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Automatic verification of temporal-epistemic properties of cryptographic protocols [J] . Ioana Boureanu, Mika Cohen, Alessio Lomuscio Journal of applied non-classical logics . 2009,第4期

机译：自动验证密码协议的时间流行性
2. Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic [J] . JihongHan, ZhiyongZhou, YadiWang International Journal of Distributed Sensor Networks . 2009,第1期

机译：一阶逻辑中加密协议保密的自动验证
3. Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols [J] . Marco Bozzano, Giorgio Delzanno Journal of symbolic computation . 2004,第5期

机译：自动验证密码协议线性逻辑规范的保密性
4. Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security [C] . Leifeng He, Guanjun Liu IEEE World Congress on Services . 2020

机译：基于Petri网络的认证逻辑验证及其对隐私和安全协议的申请
5. Equational unification and its application in formal verification of cryptographic protocols [D] . Wang, Lida 2004

机译：方程式统一及其在密码协议形式验证中的应用
6. Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic [O] . Iris van de Pol, Iris van Rooij, Jakub Szymanik -1

机译：动态认知逻辑中心理推理理论的参数化复杂性
7. Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols [O] . I. Boureanu, M. Cohen, A. Lomuscio 2012

机译：自动验证密码协议的时间-认知属性
8. Using Temporal Logic to Specify and Verify Cryptographic Protocols (Progress Report). [R] . Gray, I. J., McLean, J. 1995

机译：使用时态逻辑指定和验证加密协议（进度报告）。

Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic

著录项

引文网络

相似文献

相关主题

期刊订阅