基于观察等价性的协议猜测攻击形式化检测方法
苗旭阳, 顾纯祥, 陆思奇
基于观察等价性的协议猜测攻击形式化检测方法
Formal Analysis Method of Protocol Guessing Attack Based on Observation Equivalence
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |