स्पार्क प्रोग्रामिंग भाषा का उपयोग करके क्रिप्टोग्राफिक एल्गोरिदम का औपचारिक रूप से सत्यापित कार्यान्वयन। रन-टाइम त्रुटियों की अनुपस्थिति के पूर्ण पुस्तकालय प्रमाण उपलब्ध हैं। इसके कुछ उपप्रोग्राम में आंशिक शुद्धता के प्रमाण शामिल हैं।
संस्करण इतिहास
- विवरण files पर तैनात 2010-09-13
कई सुधार और अपडेट - विवरण N/A पर तैनात 2010-09-13
कार्यक्रम विवरण
- कोटि: सुरक्षा और गोपनीयता > अन्य
- प्रकाशक: senier.net/libsparkcrypto
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: linux