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

Chen Zhao, Jiaqi Yin, Huibiao Zhu, Ran Li. Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP. In 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30 - Oct. 3, 2021. pages 845-852, IEEE, 2021. [doi]

Authors

Chen Zhao

This author has not been identified. Look up 'Chen Zhao' in Google

Jiaqi Yin

This author has not been identified. Look up 'Jiaqi Yin' in Google

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google

Ran Li

This author has not been identified. Look up 'Ran Li' in Google