Formal analysis of RFC 8120 authentication protocol for HTTP under different assumptions.

Naomi Okumura Kazuhiro Ogata Yoichi Shinoda

Published in: J. Inf. Secur. Appl. (2020)

Keyphrases

authentication protocol
formal analysis
ban logic
smart card
lightweight
public key
open source
security analysis
rfid tags
formal methods
secret key
agent model
security protocols
hash functions
resource constraints
databases
data management
object oriented
session key
knowledge base