机译:安全通信协议模型的正式规范和验证
Teaching and Research Office of Network Engineering Electronic Engineering Institute Hefei 230037 P. R. China;
Teaching and Research Office of Network Engineering Electronic Engineering Institute Hefei 230037 P. R. China;
Research Center for Information Network Security University of Science and Technology of China Hefei 230027 P. R. China;
Protocol Model; ESTELLE; Extended alternating bit machine;