利用CCS的协议描述与验证技术的研究

On the Application of CCS to Protocol Descriptions and Protocol Verifications

本文讨论的ＣＣＳ在协议描述与验证方面的应用技术和两个案例分析表明，通讯系统演算ＣＣＳ（ａＣａｌｃｕｌｕｓｆｏｒＣｏｍｍｕｎｉｃａｔｉｎｇＳｙｓｔｅｍｓ）在协议描述、协议验证等方面有巨大应用潜力。

The method to apply CCS (a Calculus for Communicating System) to protocol descriptions and protocol verifications is discussed in this paper. Two cases given in the paper show that CCS has a great potential application in the protocol engineering.