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	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	Cybersecurity Regulation and Governance
Author	Amerah M. Alelayani, Fatimah M. Al Zahrani, Asmaa M. Munshi, Roaa M. Monshi and Shahad A. Al-sofyani
Citation	Vol. 20  No. 5  pp. 1-5
Keywords	Cybersecurity, CIA triad, Governance, Regulations, Policies, Standards, Laws

Title	A Chatbot for Information Security
Author	Sofian Hamad, Taoufik Yeferny
Citation	Vol. 20  No. 4  pp. 287-291
Keywords	ChatBot Information Security Artificial Intelligence Markup Language (AIML)