On the Application of CCS to Protocol Descriptions and Protocol Verifications

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