Proof Theoretical Methods for Reasoning about Process Equivalence

互联网商务的出现使得安全计算的问题比以往任何时候都更加紧迫。今天的计算机应用程序的安全问题的很大一部分是由于设计问题。 安全计算的原理还没有被完全理解，并且仍然缺乏用于构建安全应用的适当工具。理解安全计算的基础对于构建可信的计算机应用程序至关重要。 过程演算和逻辑是两个很有前途的学科，可以系统地研究安全系统的分析和设计原理，并可以构建形式化验证工具。

The emergence of internet commerce has made the issue of secure computing more urgent than ever. A substantial part of the security issues with today's computer applications are due to design problems. The principles of secure computation have not been fully understood and adequate tools for the construction of secure applications are still lacking. The understanding of the foundations of secure computation is essential in building trusted computer applications. Process calculi and logic represent two promising disciplines in which the principles of analysis and design of secure systems can be studied systematically, out of which formal verification tools can be constructed.