1. Introduction

2. Surveys articles for the IoT

3. Threat models

4. Countermeasures and formal security verification techniques

5. Taxonomy and comparison of authentication protocols for the IoT

6. Open Issues

7. Conclusion