统一的安全属性形式化描述方法的研究
통일적안전속성형식화묘술방법적연구
On Unifying the Formal Method to Depict the Security Properties
저자의 최근 논문