The paper establishes a methodology and tool for modeling and describing functionality and security of an IoT. The approach allows the secure modeling, design, and validation of functional requirements, security requirements, specification, and constraints using a software engineering and digital twin prototyping concepts.
Osho, John and Umphress, David, "IoT Security: Modeling, Development and Validation of IoT" (2022). SAIS 2022 Proceedings. 31.