Les logiciels de chiffrement propriétaires utilisés par les administrations sensibles doivent être certifiés par la DCSSI (en fait par un laboratoire agréé par la DCSSI).
Je crois qu'à partir du niveau de certification EAL4+ le code source est fourni au certificateur. Par contre souvent seul le moteur cryptographique est certifié à ce niveau, et non la chaîne dans son ensemble. De plus il est assez facile pour un éditeur de distribuer une version différente de celle qui a été certifiée. Ce qui fait qu'un logiciel propriétaire peut effectivement dans la pratique faire à peu près ce qu'il veut...
[^] # Re: C'est déjà un peu le cas
Posté par Eric P. . En réponse au journal Les plans de la prison de Nancy étaient sur les 4 ordinateurs volés.. Évalué à 4.
Je crois qu'à partir du niveau de certification EAL4+ le code source est fourni au certificateur. Par contre souvent seul le moteur cryptographique est certifié à ce niveau, et non la chaîne dans son ensemble. De plus il est assez facile pour un éditeur de distribuer une version différente de celle qui a été certifiée. Ce qui fait qu'un logiciel propriétaire peut effectivement dans la pratique faire à peu près ce qu'il veut...
cf http://www.ssi.gouv.fr/fr/confiance/certificats.html
Excusez l'absence d'accents dans mes commentaires, j'habite en Australie et n'ai pas de clavier francais sous la main.