Formalizing an Architectural Model of a Trustworthy Edge IoT Security Gateway | IEEE Conference Publication | IEEE Xplore