基于模型检测的不可靠环境下电子商务协议分析
기우모형검측적불가고배경하전자상무협의분석
E-Commerce Protocol Analysis Under the Failure Environment Based on Model Checking
저자의 최근 논문