一种面向主体的密码协议设计逻辑
일충면향주체적밀마협의설계라집
An Agent-Oriented Logic for Design of Cryptographic Protocols
저자의 최근 논문