Aceasta este aplicația Linux numită AWS Encryption SDK pentru Dafny a cărei cea mai recentă versiune poate fi descărcată ca 4.0.0--2023-10-11sourcecode.zip. Poate fi rulat online în furnizorul de găzduire gratuit OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită AWS Encryption SDK pentru Dafny cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
CAPTURĂ DE ECRAN:
AWS Encryption SDK pentru Dafny
DESCRIERE:
Pentru a construi, SDK-ul AWS Encryption necesită cea mai recentă versiune de dafny de pe PATH. În plus, acest proiect utilizează sarcinile de verificare paralele furnizate de pluginul MSBuild dafny.msbuild și, prin urmare, necesită dotnet 3.0. În prezent, testele necesită implementări native ale primitivelor criptografice și ale altor metode, astfel încât acestea pot fi rulate numai atunci când se încorporează această bibliotecă într-una dintre limbile țintă de compilare acceptate de Dafny. Acest repo folosește Duvet pentru a documenta direct specificația alături de această implementare. Consultați specificația pentru modul de instalare a plapumei pentru a genera rapoarte. În mod implicit, duvet_report va extrage specificația numai dacă nu poate găsi directorul de conformitate în depozitul de specificații, dar va reutiliza o extracție anterioară dacă aceasta există.
DESCRIERE
- Această bibliotecă este licențiată sub licența Apache 2.0
- Acest repo folosește Duvet pentru a documenta direct specificația alături de această implementare
- În mod implicit, duvet_report va extrage specificația numai dacă nu poate găsi directorul de conformitate în depozitul de specificații
- Pentru a construi, SDK-ul AWS Encryption necesită cea mai recentă versiune de dafny
- Necesită dotnet 3.0
- În prezent, testele necesită implementări native ale primitivelor criptografice
Limbaj de programare
C#
Categorii
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.