Dies ist die Linux-App namens AWS Encryption SDK für Dafny, deren neueste Version als 4.0.0--2023-10-11sourcecode.zip heruntergeladen werden kann. Es kann online beim kostenlosen Hosting-Anbieter OnWorks für Workstations ausgeführt werden.
Laden Sie diese App namens AWS Encryption SDK für Dafny mit OnWorks kostenlos herunter und führen Sie sie online aus.
Befolgen Sie diese Anweisungen, um diese App auszuführen:
- 1. Diese Anwendung auf Ihren PC heruntergeladen.
- 2. Geben Sie in unserem Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX den gewünschten Benutzernamen ein.
- 3. Laden Sie diese Anwendung in einem solchen Dateimanager hoch.
- 4. Starten Sie den OnWorks Linux-Online- oder Windows-Online-Emulator oder den MACOS-Online-Emulator von dieser Website.
- 5. Rufen Sie vom gerade gestarteten OnWorks Linux-Betriebssystem aus unseren Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX mit dem gewünschten Benutzernamen auf.
- 6. Laden Sie die Anwendung herunter, installieren Sie sie und führen Sie sie aus.
SCREENSHOTS
Ad
AWS-Verschlüsselungs-SDK für Dafny
BESCHREIBUNG
Zum Erstellen benötigt das AWS Encryption SDK die aktuellste Version von dafny in Ihrem PATH. Darüber hinaus nutzt dieses Projekt die vom dafny.msbuild MSBuild-Plugin bereitgestellten parallelen Überprüfungsaufgaben und erfordert daher Dotnet 3.0. Die Tests erfordern derzeit native Implementierungen kryptografischer Grundelemente und anderer Methoden und können daher nur ausgeführt werden, wenn diese Bibliothek in eine der von Dafny unterstützten Kompilierungszielsprachen eingebettet wird. Dieses Repo verwendet Duvet, um die Spezifikation neben dieser Implementierung direkt zu dokumentieren. Informationen zur Installation der Bettdecke finden Sie in der Spezifikation, um Berichte zu erstellen. Standardmäßig extrahiert duvet_report die Spezifikation nur, wenn das Compliance-Verzeichnis im Spezifikations-Repository nicht gefunden werden kann, verwendet jedoch eine frühere Extraktion erneut, falls vorhanden.
Eigenschaften
- Diese Bibliothek ist unter der Apache 2.0-Lizenz lizenziert
- Dieses Repo verwendet Duvet, um die Spezifikation neben dieser Implementierung direkt zu dokumentieren
- Standardmäßig extrahiert duvet_report die Spezifikation nur, wenn das Compliance-Verzeichnis im Spezifikations-Repository nicht gefunden werden kann
- Zum Erstellen des AWS Encryption SDK ist die aktuellste Version von dafny erforderlich
- Erfordert Dotnet 3.0
- Die Tests erfordern derzeit native Implementierungen kryptografischer Grundelemente
Programmiersprache
C#
Kategorien
Dies ist eine Anwendung, die auch von https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/ abgerufen werden kann. Es wurde in OnWorks gehostet, um es auf einfachste Weise online über eines unserer kostenlosen Betriebssysteme ausführen zu können.
