De plus en plus d'attaques informatiques contre les systèmes indus-
triels sont présentées par les médias. Ces systèmes tendent à devenir géo-
graphiquement distribués et à communiquer via des réseaux vulnérables
tels qu'Internet. Régissant de nos jours des domaines tels que la produc-
tion et la distribution d'énergie, l'assainissement des eaux ou le nucléaire,
la sécurité des systèmes industriels devient une priorité pour les gouver-
nements. L'une des difficultés de la sécurisation des infrastructures in-
dustrielles est la conciliation des propriétés de sécurité avec les attendus
métiers en terme de flux. Pour ce faire, nous regardons comment filtrer
les messages en tenant compte des aspects métiers. Ensuite, nous nous
intéressons à la vérification formelle des propriétés des protocoles de com-
munication industriels. Enfin nous proposons une approche Model-Based
Testing permettant de générer des attaques informatiques contre des sys-
tèmes industriels.