对Otway-Rees协议的一个改进方法
Data(s) |
2007
|
---|---|
Identificador | |
Fonte |
卢凤清; 林东岱.对Otway-Rees协议的一个改进方法,计算机应用,2007,27(z1): |
Palavras-Chave | #串空间 #认证测试 #形式化方法认证协议 |
Tipo |
期刊论文 |