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

Chen Zhao, Jiaqi Yin, Huibiao Zhu, Ran Li

Browse the full ISPA paper archive.