CryptoCeVerif

Écrit December 2023 par & déposé dans Produits en Développement, Produits qui ne sont plus maintenus.

Un outil unifié de certification et de vérification de la cryptographie (CryptoCeVerif) avec un ensemble d’outils dédiés à la cryptographie, basé sur des normes et des architectures ouvertes. CryptoCeVerif vise à améliorer et à automatiser divers aspects cruciaux du SDLC de la sécurité, tels que l’ingénierie des exigences et la vérification et la validation des logiciels cryptographiques, y compris les constructions vérifiables et reproductibles, avec la prise en charge de la liaison dynamique des actifs et des artefacts logiciels dans des environnements hétérogènes, par exemple le code source au cas de test et la liaison des exigences avec des évaluateurs de relations intégrés (par exemple, la détection des boucles, les calculateurs de couverture).

OpenARIANA

Écrit December 2023 par & déposé dans Produits en Développement.

OpenARIANA aide à la rédaction des politiques et procédures de sécurité. En structurant les informations qui proviennent généralement des normes ISO, en les combinant et en les personnalisant en fonction des besoins de l’entreprise, il génère des politiques dans le format souhaité par le client, ainsi que des modèles pour documenter les observations et les décisions d’un auditeur.