可信计算语义证明模型的研究
가신계산어의증명모형적연구
Research on Semantic Demonstration Model of Trusted Computing
저자의 최근 논문