Journal: IJISP

Volume 7, Issue 2

1 -- 28Katharina Bräunlich, Rüdiger Grimm. Development of A Formal Security Model for Electronic Voting Systems
29 -- 43Ammar Alazab, Michael Hobbs, Jemal Abawajy, Ansam Khraisat. Malware Detection and Prevention System Based on Multi-Stage Rules
44 -- 56Siddharth Singh, Tanveer J. Siddiqui. Robust Image Data Hiding Technique for Copyright Protection
57 -- 85Khaoula Marzouki, Amira Radhouani, Narjes Ben Rajeb. Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol