Een formeel geverifieerde implementatie van cryptografische algoritmen met behulp van de SPARK-programmeertaal. Voor de volledige bibliotheek zijn bewijzen van het ontbreken van runtime fouten beschikbaar. Sommige van de subprogramma's bevatten bewijzen van gedeeltelijke juistheid.
versiegeschiedenis
- Versie files geplaatst op 2010-09-13
Verschillende oplossingen en updates - Versie N/A geplaatst op 2010-09-13
Programmadetails
- Categorie: Beveiliging & Privacy > Andere
- Publisher: senier.net/libsparkcrypto
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: linux