WAPI安全机制的形式化分析
WAPI안전궤제적형식화분석
Formalization Analysis of WAPI Security
저자의 최근 논문