Login / Signup
On securing online registration protocols: Formal verification of a new proposal.
Jesus Diaz
David Arroyo
Francisco de Borja Rodríguez
Published in:
Knowl. Based Syst. (2014)
Keyphrases
</>
temporal logic
model checking
formal verification
model checker
bounded model checking
symbolic model checking
automated verification
online learning
image registration
real time
program slicing
image pairs
orders of magnitude
point cloud
cryptographic protocols