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.

• 本文讨论的ccs在协议描述与验证方面的应用技术和两个案例分析表明，通讯系统演算ccs（aCalculusforCommunicatingSystems）在协议描述、协议验证等方面有巨大应用潜力。