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

Title	A New EAP Authentication Method for IEEE 802.11 Wireless
Author	Younes El Hajjaji El Idrissi, Noureddine Zahid, Mohamed Jedra
Citation	Vol. 11  No. 6  pp. 1-11
Keywords	Wireless network, security protocol, Access control, EAP, HPSL

Title	A Moderate Weight EAP Authentication Method (EAP-MEAP) for Wireless Local Area Network
Author	Ahmed M. El-Nagar, Ahmed A. Abd El-Hafez, Adel El-Hnawy
Citation	Vol. 12  No. 3  pp. 122-132
Keywords	Wireless network, security protocol, Access control, EAP, HLPSL

Title	Generalization of Quantum Key Distribution Protocol
Author	Muhammad Mubashir Khan, Jie Xu
Citation	Vol. 12  No. 8  pp. 98-101
Keywords	Quantum Key Distribution, QKD, Quantum Cryptography, Information Security, Security Protocols