Title	Users Experiences on Mobile Phone Charging Solutions
Author	Abdulmohsin Suliman Alkhunaizan
Citation	Vol. 20  No. 5  pp. 6-10
Keywords	Mobile charging stations, consumers behaviors, portable media

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	The Role of Small and Medium Enterprises in Achieving Local Development
Author	Tahar Ammar Jouili, Mohamed Anis Allouche
Citation	Vol. 20  No. 5  pp. 18-21
Keywords	Local development, Small and Medium-sized Enterprises, Northern Borders Region.

Title	How Secure is Your Cloud: Classification of Security Threats and Countermeasures within Cloud Computing
Author	Atif Saeed, Muhmmad Shahid, Mohammed A. Alghamdi, Khalid Masood, Arfan Ali Nagra, Muhmmad Asif
Citation	Vol. 20  No. 5  pp. 22-43
Keywords	Cloud Computing, Cross-VM attacks, Countermeasures, Virtual Machine, Virtualization.