GSN Modeler d’Artisan Software Tools Destiné aux développeurs de systèmes critiques, ce logiciel de modélisation graphique facilite la définition et la documentation des arguments de sécurité. Création d’arguments structurés via la notation GSN (Goal Structuring Notation) Aide à la gestion d’arguments de sécurité complexes Documentation non équivoque des arguments garantieRens. : www.artisansoftwaretools.com