Title	Performance: Elastic Execution Applications between Mobile Device and Cloud to Reduce Power Consumption
Author	Mohammad Latif, Riaz UlAmin, Abdul Sattar Malik
Citation	Vol. 20  No. 9  pp. 221-227
Keywords	VANET, Directional Broadcast, Military related VANET applications, Routing Protocols, Classification of VANET Applications.

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.

Title	Vehicular Ad-hoc Networks: Architecture, Applications and Challenges
Author	Taoufik Yeferny and Sofian Hamad
Citation	Vol. 20  No. 2  pp. 1-7
Keywords	VANET, Protocols, Data dissemination, Data aggregation, RSU deployment.

Title	Information Protection Method in Distributed Computer Networks Based on Routing Algorithms
Author	Ahmad AbdulQadir AlRababah, Bandar Ali Alghamdi
Citation	Vol. 19  No. 2  pp. 66-73
Keywords	distributed networks, network protocols, network attacks, routed based service, traffic multiplexing, Internet.