Formal Analysis of Kang et al.'s Authentication Protocol using Tamarin-Prover.

Alsita Putri Iriana Sepha Siswantyo

Published in: IWBIS (2021)

Keyphrases

formal analysis
authentication protocol
ban logic
smart card
security analysis
public key
lightweight
security protocols
rfid tags
formal methods
secret key
database systems
agent model
hash functions
information security
fine grained
session key
web services
password authentication