快速密钥交换协议JFK的SPIN模型检测
쾌속밀약교환협의JFK적SPIN모형검측
Model Checking of Just Fast Keying Protocol via SPIN
저자의 최근 논문