Separate safety and security reachability results
Mais c'est vrai que je ne vois pas beaucoup d'autres possibilités. Si on met un code couleur ca va rendre les choses encore plus confuses...
Une autre idée serait d'afficher soit les preuves de ProVerif, soit celles de safety mais pas les 2 à la fois, en affichant clairement lesquelles sont affichées en ce moment (on pourrait avoir deux checkbox "security results" et "safety results" qui fonctionnerait un peu comme des overlays. Ca aurait l'avantage de mieux différencier ce qui est de l'ordre de la modélisation de ce qui correspond aux résultats de l'analyse). Les inconvénients principaux sont que c'est plus long à implémenter et que ca peut avoir un intéret d'afficher les 2 à la fois...