Sign in
Analysis of Electronic Voting Protocol Using Strand Space Model.
Venkatasamy Sureshkumar
Anitha Ramalingam
Published in:
SNDS (2014)
Keyphrases
</>
formal model
video sequences
data model
lightweight