The following pages link to Carnegie Mellon University (20240346132). System and Method for Formal Modelling of Trusted Edge IoT Security Gateways simplified abstract: