安全数据库顶层规范中SQL操作的形式化分析与验证
안전수거고정층규범중SQL조작적형식화분석여험증
Formal specification and verification for SQL operations in top level specification of secure database
저자의 최근 논문