Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus

机译：概率多项式时间过程演算中的加密协议的组成

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive composi-tionality properties of protocols in the presence of computationally bounded adversaries. We illustrate these concepts on oblivious transfer, an example from cryptography. We also compare our approach with a framework based on interactive Turing machines.

机译：我们描述了一种用于分析密码协议的概率多项式时间过程演算，并使用它来在存在计算界对手的情况下得出协议的组合性质。我们以加密传输为例，说明了关于遗忘传输的这些概念。我们还将我们的方法与基于交互式图灵机的框架进行了比较。

著录项

来源
《14th International Conference on Concurrency Theory (CONCUR 2003) Sep 3-5, 2003 Marseille, France》|2003年|p.327-349|共23页
会议地点 Marseille(FR);Marseille(FR)
作者
P. Mateus; J. Mitchell; A. Scedrov;
展开▼
作者单位

Center for Logic and Computation, IST, Lisbon, Portugal;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词
cryptographic protocols; probabilistic process calculus; computational security; composition theorem;

机译：密码协议；概率过程演算；计算安全性；组合定理;

相似文献

外文文献
中文文献
专利

1. A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols [J] . John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Theoretical computer science . 2006,第1a3期

机译：用于加密协议分析的概率多项式时间过程演算
2. Round-Preserving Parallel Composition of Probabilistic-Termination Cryptographic Protocols [J] . Cohen Ran, Coretti Sandro, Garay Juan, Journal of Cryptology . 2021,第2期

机译：符合概率终止加密协议的圆形平行组成
3. Round-Preserving Parallel Composition of Probabilistic-Termination Cryptographic Protocols [J] . Ran Cohen, Sandro Coretti, Juan Garay, LIPIcs : Leibniz International Proceedings in Informatics . 2017,第4期

机译：概率终止密码协议的保全并行组成
4. Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus [C] . P. Mateus, J. Mitchell, A. Scedrov International Conference on Concurrency Theory . 2003

机译：概率多项式流程计算中加密协议的组成
5. A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. [D] . Ramanathan, Ajith. 2005

机译：概率多项式时间过程演算，用于分析密码协议。
6. Design and Analysis of Optimization Algorithms to Minimize Cryptographic Processing in BGP Security Protocols [O] . Vinay K. Sriram, Doug Montgomery -1

机译：BGP安全协议中用于最小化加密处理的优化算法的设计和分析
7. Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus [O] . 2008

机译：概率多项式时间过程演算中的加密协议的组成
8. Simple Calculus of Finite Probabilistic Processes [R] . Latella, D. 1993

机译：有限概率过程的简单微积分

Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus

摘要

著录项

相似文献

相关主题

期刊订阅