x509-parser
Notoriété 18 %
Ce logiciel implémente un parseur de certificats numériques X.509, annoté avec des annotations ACSL pour la vérification avec Frama-C (version 18/Argon).
Dépôt de code
Cas d'utilisation métiers
Description générée le mardi 19 mars 2024 à 17:51:18
D'autres initiatives de la même organisation
- MonAideCybermonaide.cyber.gouv.fr
- MesServicesCybermesservices.cyber.gouv.fr
- FAQ Directive NIS2aide.monespacenis2.cyber.gouv.fr