串空间理论在网络安全协议形式化分析中应用
천공간이론재망락안전협의형식화분석중응용
Application of strand space theory to formalization analyses of network protocol
저자의 최근 논문