Formalisation d’arguments de sécurité

Le présent projet appartient au domaine de la représentation des connaissances et constitue un premier pas vers le développement d’outils informatiques en support au développement de dossiers de sécurité et d’audits de conformité reliés à la sécurité des TI. Il porte plus particulièrement sur la représentation formelle d’interprétations de requis de conformité reliés à la […]

Read More