机译:网格中的安全身份验证:DNP3 SAv5的形式分析
CISPA Helmholtz Center i.G. Saarland Informatics Campus;
Department of Computer Science University of Oxford UK;
Department of Computer Science University of Oxford;
DNP3; secure authentication; power grids; network protocols; formal analysis;
机译:DNP3安全认证的正式建模和分析
机译:EPPAS:智能电网系统中安全通信的节能隐私保留和物理安全的相互认证方案
机译:在Covid-19类大流行期间的移动医疗保健安全框架中的一个正式验证的认证协议
机译:网格中的安全身份验证:DNP3:SAv5的形式分析
机译:Kerberos身份验证协议的形式分析。
机译:安全性分析和安全的通道无可证实可搜索的公钥对基于云的内容互相验证的加密
机译:在网格中安全身份验证:DNP3 SAV5的正式分析