机译:正式规范和安全通信协议模型的验证
Teaching and Research Office of Network Engineering, Electronic Engineering Institute, Hefei 230037, P. R. China;
ESTELLE; Extended alternating bit machine; Protocol Model;
机译:安全通信协议模型的正式规范和验证
机译:用UML建模的安全组通信协议的形式验证
机译:远程过程调用的通信协议建模和形式验证
机译:IVHS降级操作模式的通信协议的正式规范和验证
机译:通讯协议的跟踪规范(软件工程,正式规范)。
机译:车载通信中无线传感器网络的安全认证协议
机译:以UML建模的安全组通信协议的形式验证
机译:通信协议规范和验证的形式化方法