不可否认协议形式化分析的SVO逻辑方法
불가부인협의형식화분석적SVO라집방법
Formal analysis of non-repudiation protocols with SVO logic
저자의 최근 논문