Login / Signup
Formal security analysis of registration protocols for interactive systems: a methodology and a case of study
Jesus Diaz
David Arroyo
Francisco de Borja Rodríguez
Published in:
CoRR (2012)
Keyphrases
</>
security analysis
interactive systems
formal model
security properties
security requirements
public key
authentication protocol
high security
key exchange
artificial intelligence
expert systems