共 50 条
- [43] Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP 19TH IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA/BDCLOUD/SOCIALCOM/SUSTAINCOM 2021), 2021, : 845 - 852
- [49] Edge Computing for Interconnected Intersections in Internet of Vehicles 2020 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), 2020, : 480 - 486