Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP.

Chen Zhao Jiaqi Yin Huibiao Zhu Ran Li

Published in: ISPA/BDCloud/SocialCom/SustainCom (2021)

Keyphrases

authentication scheme
smart card
user authentication
constraint satisfaction problems
secret key
key management
image encryption
image authentication