安全协议形式化分析方法的融合性研究
안전협의형식화분석방법적융합성연구
The fusion research of approaches in formal analysis of security protocols