Bu, en son sürümü 4.0.0--2023-10-11sourcecode.zip olarak indirilebilen, Dafny için AWS Encryption SDK adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
AWS Encryption SDK for Dafny adlı bu uygulamayı OnWorks ile ücretsiz olarak indirin ve çevrimiçi çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
EKRAN
Ad
Dafny için AWS Şifreleme SDK'sı
TANIM
AWS Encryption SDK'nın derlenmesi için PATH'inizde dafny'nin en güncel sürümünün bulunması gerekir. Ayrıca bu proje, dafny.msbuild MSBuild eklentisi tarafından sağlanan paralel doğrulama görevlerini kullanır ve bu nedenle dotnet 3.0 gerektirir. Testler şu anda kriptografik temel öğelerin ve diğer yöntemlerin yerel uygulamalarını gerektiriyor; dolayısıyla bunlar yalnızca bu kitaplık Dafny tarafından desteklenen derleme hedef dillerinden birine gömülürken çalıştırılabilir. Bu depo, bu uygulamanın yanı sıra spesifikasyonu doğrudan belgelemek için Duvet'i kullanıyor. Rapor oluşturmak için yorganın nasıl kurulacağına ilişkin spesifikasyona bakın. Duvet_report varsayılan olarak spesifikasyonu yalnızca spesifikasyon deposunda uyumluluk dizinini bulamazsa çıkarır, ancak varsa daha önceki bir çıkartmayı yeniden kullanır.
Özellikler
- Bu kitaplık, Apache 2.0 Lisansı altında lisanslanmıştır
- Bu depo, bu uygulamanın yanı sıra spesifikasyonu doğrudan belgelemek için Duvet'i kullanıyor
- Duvet_report varsayılan olarak spesifikasyonu yalnızca spesifikasyon deposunda uyumluluk dizinini bulamazsa çıkarır.
- AWS Encryption SDK'nın derlenmesi için dafny'nin en güncel sürümü gerekir
- Dotnet 3.0 gerektirir
- Testler şu anda kriptografik temel öğelerin yerel uygulamalarını gerektiriyor
Programlama dili
C#
Kategoriler
Bu, https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/ adresinden de alınabilecek bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.