Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif.

Jingjing Zhang Lin Yang Weipeng Cao Qiang Wang

Published in: IEEE Access (2020)

Keyphrases

authentication protocol
formal analysis
ban logic
smart card
security analysis
lightweight
public key
formal methods
rfid tags
security protocols
hash functions
agent model
rfid systems
session key
security requirements
artificial intelligence
expert systems
database systems