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

Title	Process Calculus and Horn Clauses-Based Deduction in the Verification of Security Protocols
Author	Nguyen Truong Thang, Khuat Thanh Son
Citation	Vol. 20  No. 5  pp. 11-17
Keywords	Undecidability, security protocols, process calculus, Horn clauses, formal verification.