Formalizing an Architectural Model of a Trustworthy Edge IoT Security Gateway‡ Conference proceeding (August 2021)