1. Center For Internet Security,2023
2. State of IoT -Spring 2023;Brüegge;IoT Analytics market report,2023
3. Botnet Defense System: Concept, Design, and Basic Strategy
4. A Petri-net-based model for the mathematical analysis of multi-agent systems;Hiraishi;IEICE Trans. Fundam.,2001
5. A support tool to design loT services with NuSMV;Nakahori