Login / Signup
Formal analysis of a security protocol for e-passports based on rewrite theory specifications.
Manjukeshwar Reddy Mandadi
Varuneshwar Reddy Mandadi
Kazuhiro Ogata
Published in:
J. Inf. Secur. Appl. (2018)
Keyphrases
</>
formal analysis
security protocols
formal methods
formal specification
artificial immune algorithm
agent model
authentication protocol
ban logic
artificial intelligence
security services
real time
security mechanisms
cryptographic algorithms