libsparkcrypto
आप 5 सेकंड में डाउनलोड कर सकेंगे।
डाउनलोड शुरू करने के लिए आप निम्नलिखित बाहरी डाउनलोड लिंक पर भी क्लिक कर सकते हैं:
http://sourceforge.net/projects/libsparkcrypto/files/libsparkcrypto-0.1.0.tgz/download
करीबन libsparkcrypto
स्पार्क प्रोग्रामिंग भाषा का उपयोग करके क्रिप्टोग्राफिक एल्गोरिदम का औपचारिक रूप से सत्यापित कार्यान्वयन। रन-टाइम त्रुटियों की अनुपस्थिति के पूर्ण पुस्तकालय प्रमाण उपलब्ध हैं। इसके कुछ उपप्रोग्राम में आंशिक शुद्धता के प्रमाण शामिल हैं।
संबंधित कार्यक्रम
-
GenPW मुफ्त
जेनपीडब्ल्यू एक छोटा और सरल पासवर्ड जनरेटर है। यह कुछ अतिरिक्त कार्यक्षमता जैसे, पासवर्ड पैटर्न और कैरेक्टरसेट संभावनाएं प्रदान करता है।
-
ipfwAdmin मुफ्त
IpfwAdmin एक स्टैंड-अलोन वेब आधारित व्यवस्थापक उपकरण है जो प्रबंधन करता है फ्रीबीएसडी आईपीडब्ल्यू नियम तालिकाएं। यह सादे सी और कुछ csh/awk/sed लिपियों में शामिल है ।
-
Cosign: Web Single Sign-On मुफ्त
एक ओपन सोर्स प्रोजेक्ट मूल रूप से मिशिगन विश्वविद्यालय को एक सुरक्षित एकल साइन-ऑन वेब प्रमाणीकरण प्रणाली प्रदान करने के लिए डिज़ाइन किया गया है। कॉसाइन नेशनल साइंस फाउंडेशन मिडलवेयर इनिशिएटिव (एनएमआई) एडिट सॉफ्टवेयर रिलीज का
-
SIFA मुफ्त
एसआईएफए (सिक्योर इंफॉर्मेशन फ्लो एनालाइजर) एक सूचना सुरक्षा के नजरिए से सिस्टम की संभावित कमजोरियों के बारे में कारण के लिए ग्राफ-आधारित दृष्टिकोण का उपयोग करता है, जो सिस्टम पर कई विचारों का समर्थन करता है। सिफा एक प्रयोगात्
-
mySQLenum मुफ्त
mySQLenum वेब एप्लिकेशन के लिए एक कमांड लाइन स्वचालित अंधा वर्ग इंजेक्शन उपकरण है जो MySql सर्वर को अपने बैक-एंड के रूप में उपयोग करता है। इसका मुख्य लक्ष्य कमांड लाइन इंटरफेस का उपयोग करने के लिए एक आसान प्रदान करना है।
-
loop-AES मुफ्त
लिनक्स के लिए तेज और पारदर्शी फ़ाइल प्रणाली और स्वैप एन्क्रिप्शन पैकेज।लिनक्स गिरी में कोई स्रोत कोड नहीं बदलता है।2.6, 2.4, 2.2 और 2.0 गुठली के साथ काम करता है।
-
Comply मुफ्त
एक वेब आधारित अनुपालन ट्रैकिंग टूल जो एनआईएस्ट 800-53 के आधार पर शुरू होगा। उम्मीद है कि इसमें HIPAA, GLBA, Sarbane Oxley, गोपनीयता अधिनियम आदि शामिल होंगे ।
-
KeyCenter4NB मुफ्त
जावा कीस्टोर फाइलों तक पहुंचने और हेरफेर करने के लिए नेटबीन्स आईडीई के लिए मॉड्यूल का एक सूट, X.509 प्रमाण पत्र, आदि।
-
Universal SAFE Signing Interface मुफ्त
यूएसएसआई यूनिवर्सल सेफ साइनिंग इंटरफेस है। यूएसएसआई पीडीएफ, टेक्स्ट, एक्सएमएल आदि के लिए सुरक्षित डिजिटल हस्ताक्षर के आवेदन के लिए वेब सेवाएं प्रदान करता है। सुरक्षित के बारे में अधिक जानकारी के लिए http://www.safe-biopharm
-
ASP.Net TypeKey authentication module मुफ्त
ASP.Net साइटों को टाइपकी प्रमाणीकरण सेवा का आसानी से उपयोग करने की अनुमति देने के लिए एक सी # मॉड्यूल।