यह विंडोज़ ऐप है जिसका नाम AWS एन्क्रिप्शन SDK for Dafny है, जिसकी नवीनतम रिलीज़ को 4.0.0--2023-10-11sourcecode.zip के रूप में डाउनलोड किया जा सकता है। इसे वर्कस्टेशन के लिए मुफ्त होस्टिंग प्रदाता ऑनवर्क्स में ऑनलाइन चलाया जा सकता है।
ऑनवर्क्स के साथ डैफनी के लिए एडब्ल्यूएस एन्क्रिप्शन एसडीके नामक इस ऐप को मुफ्त में ऑनलाइन डाउनलोड करें और चलाएं।
इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:
- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।
- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।
- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।
- 4. इस वेबसाइट से कोई भी ओएस ऑनवर्क्स ऑनलाइन एमुलेटर शुरू करें, लेकिन बेहतर विंडोज ऑनलाइन एमुलेटर।
- 5. ऑनवर्क्स विंडोज ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।
- 6. एप्लिकेशन डाउनलोड करें और इसे इंस्टॉल करें।
- 7. अपने Linux वितरण सॉफ़्टवेयर रिपॉजिटरी से वाइन डाउनलोड करें। एक बार इंस्टॉल हो जाने पर, आप ऐप को वाइन के साथ चलाने के लिए डबल-क्लिक कर सकते हैं। आप PlayOnLinux को भी आज़मा सकते हैं, जो वाइन पर एक फैंसी इंटरफ़ेस है जो आपको लोकप्रिय विंडोज़ प्रोग्राम और गेम इंस्टॉल करने में मदद करेगा।
वाइन लिनक्स पर विंडोज सॉफ्टवेयर चलाने का एक तरीका है, लेकिन विंडोज की आवश्यकता नहीं है। वाइन एक ओपन-सोर्स विंडोज संगतता परत है जो किसी भी लिनक्स डेस्कटॉप पर सीधे विंडोज प्रोग्राम चला सकती है। अनिवार्य रूप से, वाइन खरोंच से पर्याप्त विंडोज़ को फिर से लागू करने की कोशिश कर रहा है ताकि वह उन सभी विंडोज़ अनुप्रयोगों को वास्तव में विंडोज़ की आवश्यकता के बिना चला सके।
स्क्रीनशॉट
Ad
डैफ़नी के लिए AWS एन्क्रिप्शन SDK
वर्णन
निर्माण के लिए, AWS एन्क्रिप्शन SDK को आपके PATH पर dafny के सबसे अद्यतित संस्करण की आवश्यकता होती है। इसके अलावा, यह प्रोजेक्ट dafny.msbuild MSBuild प्लगइन द्वारा प्रदान किए गए समानांतर सत्यापन कार्यों का उपयोग करता है, और इसलिए dotnet 3.0 की आवश्यकता होती है। परीक्षणों के लिए वर्तमान में क्रिप्टोग्राफ़िक प्राइमेटिव्स और अन्य तरीकों के मूल कार्यान्वयन की आवश्यकता होती है, इसलिए उन्हें केवल इस लाइब्रेरी को डैफनी द्वारा समर्थित संकलन लक्ष्य भाषाओं में से एक में एम्बेड करते समय चलाया जा सकता है। यह रेपो इस कार्यान्वयन के साथ-साथ विनिर्देशों को सीधे दस्तावेज़ित करने के लिए डुवेट का उपयोग करता है। रिपोर्ट तैयार करने के लिए डुवेट कैसे स्थापित करें, इसके लिए विनिर्देश देखें। डिफ़ॉल्ट रूप से डुवेट_रिपोर्ट स्पेक को केवल तभी निकालेगा जब उसे स्पेसिफिकेशन रेपो में अनुपालन निर्देशिका नहीं मिल सकेगी, लेकिन यदि पिछला एक्सट्रैक्शन मौजूद है तो उसका पुन: उपयोग करेगा।
विशेषताएं
- यह लाइब्रेरी अपाचे 2.0 लाइसेंस के तहत लाइसेंस प्राप्त है
- यह रेपो इस कार्यान्वयन के साथ-साथ विनिर्देशों को सीधे दस्तावेज़ित करने के लिए डुवेट का उपयोग करता है
- डिफ़ॉल्ट रूप से duvet_report केवल तभी विनिर्देश निकालेगा जब उसे विनिर्देशन रेपो में अनुपालन निर्देशिका नहीं मिल पाती है
- निर्माण के लिए, AWS एन्क्रिप्शन SDK को डैफ़नी के सबसे अद्यतित संस्करण की आवश्यकता है
- डॉटनेट 3.0 की आवश्यकता है
- वर्तमान में परीक्षणों के लिए क्रिप्टोग्राफ़िक प्राइमेटिव के मूल कार्यान्वयन की आवश्यकता होती है
प्रोग्रामिंग भाषा
C#
श्रेणियाँ
यह एक एप्लिकेशन है जिसे https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/ से भी प्राप्त किया जा सकता है। हमारे निःशुल्क ऑपरेटिव सिस्टमों में से एक से सबसे आसान तरीके से ऑनलाइन चलाने के लिए इसे ऑनवर्क्स में होस्ट किया गया है।