论文部分内容阅读
本文使用通信顺序进程(Communicating Sequential Process)建模和分析认证协议,CSP有着良好的语义来描述认证协议,并且比较适合分析协议的特性。本文阐述了如何使用CSP对协议建模并在CSP基础上描述了安全协议的安全性所要满足的条件。
This article uses the Communicating Sequential Process to model and analyze authentication protocols. CSPs have good semantics to describe authentication protocols and are more suitable for analyzing the characteristics of protocols. This article describes how to model a protocol using CSP and describes the conditions for the security of a security protocol based on CSP.