Retourner au contenu associé (dépêche : LibreSSL 2.3.3)
Posté par Harvesterify le 13 avril 2016 à 16:13. En réponse à la dépêche LibreSSL 2.3.3. Évalué à 5.
Une partie de PolarSSL a été formellement prouvé par les ptits gars de chez TrustInSoft (un outil qui se base sur l'excellent outil Frama-C), avec en prime un kit de vérification :
http://trust-in-soft.com/polarssl-verification-kit/
C'est déjà bien plus qu'OpenSSL, en un sens :)
Mes messages engagent qui je veux.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: sécurisée et moderne
Posté par Harvesterify . En réponse à la dépêche LibreSSL 2.3.3. Évalué à 5.
Une partie de PolarSSL a été formellement prouvé par les ptits gars de chez TrustInSoft (un outil qui se base sur l'excellent outil Frama-C), avec en prime un kit de vérification :
http://trust-in-soft.com/polarssl-verification-kit/
C'est déjà bien plus qu'OpenSSL, en un sens :)
Mes messages engagent qui je veux.