Dafny-യുടെ AWS എൻക്രിപ്ഷൻ SDK എന്ന് പേരിട്ടിരിക്കുന്ന Linux ആപ്പാണിത്, ഇതിന്റെ ഏറ്റവും പുതിയ പതിപ്പ് 4.0.0--2023-10-11sourcecode.zip ആയി ഡൗൺലോഡ് ചെയ്യാം. വർക്ക്സ്റ്റേഷനുകൾക്കായുള്ള സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവായ OnWorks-ൽ ഇത് ഓൺലൈനായി പ്രവർത്തിപ്പിക്കാം.
OnWorks-നൊപ്പം Dafny-നായി AWS എൻക്രിപ്ഷൻ SDK എന്ന് പേരിട്ടിരിക്കുന്ന ഈ ആപ്പ് സൗജന്യമായി ഓൺലൈനായി ഡൗൺലോഡ് ചെയ്ത് പ്രവർത്തിപ്പിക്കുക.
ഈ ആപ്പ് പ്രവർത്തിപ്പിക്കുന്നതിന് ഈ നിർദ്ദേശങ്ങൾ പാലിക്കുക:
- 1. നിങ്ങളുടെ പിസിയിൽ ഈ ആപ്ലിക്കേഷൻ ഡൗൺലോഡ് ചെയ്തു.
- 2. ഞങ്ങളുടെ ഫയൽ മാനേജറിൽ https://www.onworks.net/myfiles.php?username=XXXXX എന്നതിൽ നിങ്ങൾക്ക് ആവശ്യമുള്ള ഉപയോക്തൃനാമം നൽകുക.
- 3. അത്തരം ഫയൽമാനേജറിൽ ഈ ആപ്ലിക്കേഷൻ അപ്‌ലോഡ് ചെയ്യുക.
- 4. ഈ വെബ്സൈറ്റിൽ നിന്ന് OnWorks Linux ഓൺലൈനോ Windows ഓൺലൈൻ എമുലേറ്ററോ MACOS ഓൺലൈൻ എമുലേറ്ററോ ആരംഭിക്കുക.
- 5. നിങ്ങൾ ഇപ്പോൾ ആരംഭിച്ച OnWorks Linux OS-ൽ നിന്ന്, നിങ്ങൾക്ക് ആവശ്യമുള്ള ഉപയോക്തൃനാമത്തോടുകൂടിയ ഞങ്ങളുടെ ഫയൽ മാനേജർ https://www.onworks.net/myfiles.php?username=XXXXX എന്നതിലേക്ക് പോകുക.
- 6. ആപ്ലിക്കേഷൻ ഡൌൺലോഡ് ചെയ്യുക, അത് ഇൻസ്റ്റാൾ ചെയ്ത് പ്രവർത്തിപ്പിക്കുക.
സ്ക്രീൻഷോട്ടുകൾ
Ad
ഡാഫ്‌നിക്കുള്ള AWS എൻക്രിപ്ഷൻ SDK
വിവരണം
നിർമ്മിക്കുന്നതിന്, AWS എൻക്രിപ്ഷൻ SDK-യ്ക്ക് നിങ്ങളുടെ PATH-ൽ dafny-യുടെ ഏറ്റവും കാലികമായ പതിപ്പ് ആവശ്യമാണ്. കൂടാതെ, ഈ പ്രോജക്റ്റ് dafny.msbuild MSBuild പ്ലഗിൻ നൽകുന്ന സമാന്തര പരിശോധനാ ജോലികൾ ഉപയോഗിക്കുന്നു, അതിനാൽ dotnet 3.0 ആവശ്യമാണ്. പരിശോധനകൾക്ക് നിലവിൽ ക്രിപ്‌റ്റോഗ്രാഫിക് പ്രിമിറ്റീവുകളുടെയും മറ്റ് രീതികളുടെയും നേറ്റീവ് നിർവ്വഹണങ്ങൾ ആവശ്യമാണ്, അതിനാൽ ഡാഫ്‌നി പിന്തുണയ്‌ക്കുന്ന കംപൈലേഷൻ ടാർഗെറ്റ് ഭാഷകളിലൊന്നിലേക്ക് ഈ ലൈബ്രറി ഉൾച്ചേർക്കുമ്പോൾ മാത്രമേ അവ പ്രവർത്തിപ്പിക്കാൻ കഴിയൂ. ഈ നടപ്പാക്കലിനൊപ്പം സ്പെസിഫിക്കേഷൻ നേരിട്ട് രേഖപ്പെടുത്താൻ ഈ റിപ്പോ ഡ്യുവെറ്റ് ഉപയോഗിക്കുന്നു. റിപ്പോർട്ടുകൾ ജനറേറ്റ് ചെയ്യുന്നതിനായി ഡ്യുവെറ്റ് എങ്ങനെ ഇൻസ്റ്റാൾ ചെയ്യാം എന്നതിനുള്ള സ്പെസിഫിക്കേഷൻ കാണുക. ഡിഫോൾട്ടായി duvet_report സ്പെസിഫിക്കേഷൻ റിപ്പോയിൽ കംപ്ലയൻസ് ഡയറക്ടറി കണ്ടെത്താൻ കഴിയുന്നില്ലെങ്കിൽ മാത്രമേ സ്പെക്ക് എക്‌സ്‌ട്രാക്‌റ്റുചെയ്യൂ, എന്നാൽ അത് നിലവിലുണ്ടെങ്കിൽ മുമ്പത്തെ എക്‌സ്‌ട്രാക്ഷൻ വീണ്ടും ഉപയോഗിക്കും.
സവിശേഷതകൾ
- ഈ ലൈബ്രറി അപ്പാച്ചെ 2.0 ലൈസൻസിന് കീഴിലാണ്
- ഈ നടപ്പാക്കലിനൊപ്പം സ്പെസിഫിക്കേഷൻ നേരിട്ട് രേഖപ്പെടുത്താൻ ഈ റിപ്പോ ഡ്യുവെറ്റ് ഉപയോഗിക്കുന്നു
- ഡിഫോൾട്ടായി duvet_report സ്പെസിഫിക്കേഷൻ റിപ്പോയിൽ കംപ്ലയൻസ് ഡയറക്ടറി കണ്ടെത്താൻ കഴിയുന്നില്ലെങ്കിൽ മാത്രമേ സ്പെക്ക് എക്സ്ട്രാക്റ്റ് ചെയ്യുകയുള്ളൂ.
- നിർമ്മിക്കുന്നതിന്, AWS എൻക്രിപ്ഷൻ SDK-യ്ക്ക് dafny-യുടെ ഏറ്റവും കാലികമായ പതിപ്പ് ആവശ്യമാണ്
- dotnet 3.0 ആവശ്യമാണ്
- പരിശോധനകൾക്ക് നിലവിൽ ക്രിപ്‌റ്റോഗ്രാഫിക് പ്രിമിറ്റീവുകളുടെ നേറ്റീവ് നടപ്പിലാക്കലുകൾ ആവശ്യമാണ്
പ്രോഗ്രാമിംഗ് ഭാഷ
C#
Categories
https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/ എന്നതിൽ നിന്നും ലഭിക്കാവുന്ന ഒരു ആപ്ലിക്കേഷനാണിത്. ഞങ്ങളുടെ സൗജന്യ ഓപ്പറേറ്റീവ് സിസ്റ്റങ്ങളിലൊന്നിൽ നിന്ന് ഏറ്റവും എളുപ്പമുള്ള രീതിയിൽ ഓൺലൈനിൽ പ്രവർത്തിപ്പിക്കുന്നതിനായി ഇത് OnWorks-ൽ ഹോസ്റ്റ് ചെയ്‌തിരിക്കുന്നു.
