可信操作系统的模型设计研究
가신조작계통적모형설계연구
저자의 최근 논문