Optimized MHealth Batch Verification for a Variant of DSA.

Angolo Shem Mbandu Chunxiang Xu Kamenyi Domenic Mutiria

Published in: CyberC (2014)

Keyphrases

formal methods
model checking
face verification
signature verification
machine learning
genetic algorithm
decision making
special case
supply chain
formal verification
verification method