Title	Security Extension for Bresson-Chevassut-Pointcheval's model
Author	Chunjie Cao, Jianfeng Ma, Sangjae Moon
Citation	Vol. 6  No. 1  pp. 184~191
Keywords	Provable security, Distributed computing, Formal model, Multicast security

Title	Design of an Efficient Security Protocol Analyzer
Author	Shinsaku Kiyomoto, Haruki Ota, Toshiaki Tanaka
Citation	Vol. 7  No. 6  pp. 74-87
Keywords	Security Protocol, Automatic Verification, Provable Security