一种改进的IKEv2协议及其形式化验证
일충개진적IKEv2협의급기형식화험증
Improved IKEv2 protocol and its formal verification
저자의 최근 논문