researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: IJISP
Home
Index
Info
Issue
Volume
7
, Issue
2
1
--
28
Katharina Bräunlich
,
Rüdiger Grimm
.
Development of A Formal Security Model for Electronic Voting Systems
29
--
43
Ammar Alazab
,
Michael Hobbs
,
Jemal Abawajy
,
Ansam Khraisat
.
Malware Detection and Prevention System Based on Multi-Stage Rules
44
--
56
Siddharth Singh
,
Tanveer J. Siddiqui
.
Robust Image Data Hiding Technique for Copyright Protection
57
--
85
Khaoula Marzouki
,
Amira Radhouani
,
Narjes Ben Rajeb
.
Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol