SYSTEM AND METHOD FOR FORMAL MODELLING OF TRUSTED EDGE LOT SECURITY GATEWAYS

Disclosed herein is a method for defining a model of a trusted loT security gateway architecture based on a microhypervisor, wherein evaluation of the model provides a guarantee that the correct security protections are applied to each loT device's network traffic at all times, including when under attack. The models defined in accordance with the method disclosed herein are used to verify security gateway architectures that provide robust trust properties to a broad range of legacy hardware platforms utilizing existing software with a reasonable performance overhead. Est divulgué un procédé pour définir un modèle d'une architecture de passerelles de sécurité IdO de confiance sur la base d'un micro-hyperviseur, l'évaluation du modèle fournissant une garantie pour que des protections de sécurité correctes soient appliquées à chaque trafic de réseau du dispositif IdO à tout moment, y compris en cas d'attaque. Les modèles définis selon le procédé divulgué dans la présente invention sont utilisés pour vérifier des architectures de passerelle de sécurité qui fournissent des propriétés de confiance robustes à une large gamme de plateformes matérielles existantes utilisant un logiciel existant avec un surdébit de performance raisonnable.