当前位置:
X-MOL 学术
›
Aut. Control Comp. Sci.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Even Simple π-Calculus Processes Are Difficult to Analyze
Automatic Control and Computer Sciences Pub Date : 2020-03-04 , DOI: 10.3103/s0146411619070022 M. M. Abbas , V. A. Zakharov
中文翻译:
即使是简单的π演算过程也难以分析
更新日期:2020-03-04
Automatic Control and Computer Sciences Pub Date : 2020-03-04 , DOI: 10.3103/s0146411619070022 M. M. Abbas , V. A. Zakharov
Abstract—
Mathematical models of distributed computations, based on calculus of mobile processes (π-calculus) are widely used for checking information security properties of cryptographic protocols. Since \(\pi \)-calculus is a Turing-complete computation model, this problem is unsolvable in the general case. Therefore, its study is carried out only for some special classes of π-calculus processes with restricted computational capabilities, for example, for nonrecursive processes with all runs limited in length, for processes with a limited number of parallel components, etc. However, even in these cases the proposed checking procedures are very time consuming. We assume that this is due to the very nature of the π-calculus processes. The goal of this paper is to show that even for the weakest passive adversary model and for relatively simple protocols that make use of only basic π-calculus operations, the checking of the information security properties of these protocols is a co-NP-complete problem.中文翻译:
即使是简单的π演算过程也难以分析