Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Le projet gru-module-mydashboard-identity est une application permettant de gérer les informations d'identité des utilisateurs, de vérifier leur identité et de suivre les certifications obtenues. Il offre des fonctionnalités telles que la gestion des coordonnées, la vérification de l'adresse, la gestion des certifications et la gestion des avatars.
- Notoriété 72 %Application dédiée à la gestion du certibiocide, un certificat obligatoire pour les professionnels utilisant ou distribuant des produits biocides. Elle permet aux utilisateurs de s'inscrire à des formations, aux centres de formation de s'habiliter, et aux entreprises de déclarer annuellement leurs activités. L'outil facilite également la vérification de la validité des certificats délivrés.
- Le projet eu-digital-covid-certificate-validator est un service de validation open-source (sous licence Apache 2) fourni par IHE Europe Gazelle Test Bed pour vérifier la conformité des certificats générés par rapport aux spécifications de l'UE. Il est actuellement au stade de prototype et ne doit pas être utilisé pour des tests d'interopérabilité ou de conformité.
- Bibliothèque de support pour l'assistant de preuve Coq, fournissant des fichiers vernaculaires pour l'importation des certificats générés par Gappa et un tactic `gappa` pour appeler Gappa sur le but courant dans Coq. Gappa est un outil destiné à aider à la vérification et à la preuve formelle de propriétés sur des programmes numériques utilisant des calculs arithmétiques en virgule flottante ou à point fixe.
- Le projet update-crl est un script simple permettant de télécharger et de mettre à jour les listes de révocation de certificats SSL (CRL). Il vérifie la disponibilité des fournisseurs de CRL et la validité des fichiers téléchargés. En option, il peut envoyer des notifications par email en cas d'échec de mise à jour ou d'expiration des CRL. Le script est compatible avec les dernières versions de Red Hat EL7 et EL8 et nécessite openssl. Il peut également utiliser un proxy.
7 initiatives
10