机译:安全协议分析:基于SDL的方法
Computer Science Department, E.T.S. Ingenieria Informatica, University of Malaga, Spain;
Computer Science Department, E.T.S. Ingenieria Informatica, University of Malaga, Spain;
Computer Science Department, E.T.S. Ingenieria Informatica, University of Malaga, Spain;
Security protocols; Formal analysis; MSC; SDL;
机译:动态跟踪生成方法,用于加密协议的安全性分析:基于有色Petri网的方法
机译:设计和分析基于密码的安全协议的模块化方法
机译:基于密码的安全协议的设计和分析的模块化方法
机译:基于SDL的通信协议可行测试生成
机译:用于车辆通信控制的双重体系结构方法:容纳的设备网关和智能数据总线,信号电路分析和消息安全协议。
机译:802.11s无线网状网络路由协议及其安全路由协议的安全性分析
机译:基于未培养的安全协议跟踪和安全协议实现本体的安全协议实现安全分析方法