...
机译:DNP3安全认证的正式建模和分析
Queensland Univ Technol, Brisbane, Qld 4000, Australia;
Queensland Univ Technol, Brisbane, Qld 4000, Australia;
Queensland Univ Technol, Brisbane, Qld 4000, Australia;
Smart grid; SCADA; DNP3; DNP3-SA; Formal methods; CPN;
机译:网格中的安全身份验证:DNP3 SAv5的形式分析
机译:用于安全网络身份验证的ZigBee协议验证的正式模型
机译:如何验证设备?防御Ghost攻击的M2M通信的正式身份验证模型
机译:网格中的安全身份验证:DNP3:SAv5的形式分析
机译:Kerberos身份验证协议的形式分析。
机译:安全性分析和安全的通道无可证实可搜索的公钥对基于云的内容互相验证的加密
机译:DNP3安全认证的正式建模和分析