Esta es la aplicación de Linux denominada AWS Encryption SDK para Dafny cuya última versión se puede descargar como 4.0.0--2023-10-11sourcecode.zip. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada AWS Encryption SDK para Dafny con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
CAPTURAS DE PANTALLA:
SDK de cifrado de AWS para Dafny
DESCRIPCIÓN:
Para compilar, el SDK de cifrado de AWS requiere la versión más actualizada de dafny en su RUTA. Además, este proyecto utiliza las tareas de verificación paralela proporcionadas por el complemento dafny.msbuild MSBuild y, por lo tanto, requiere dotnet 3.0. Actualmente, las pruebas requieren implementaciones nativas de primitivas criptográficas y otros métodos, por lo que solo se pueden ejecutar cuando se integra esta biblioteca en uno de los lenguajes de destino de compilación admitidos por Dafny. Este repositorio utiliza Quilt para documentar directamente la especificación junto con esta implementación. Consulte las especificaciones sobre cómo instalar el edredón para generar informes. De forma predeterminada, duvet_report extraerá la especificación solo si no puede encontrar el directorio de cumplimiento en el repositorio de especificaciones, pero reutilizará una extracción anterior si existe.
Caracteristicas
- Esta biblioteca tiene la licencia Apache 2.0 License
- Este repositorio utiliza Quilt para documentar directamente la especificación junto con esta implementación.
- De forma predeterminada, duvet_report extraerá la especificación solo si no puede encontrar el directorio de cumplimiento en el repositorio de especificaciones.
- Para compilar, el SDK de cifrado de AWS requiere la versión más actualizada de dafny
- Requiere puntonet 3.0
- Las pruebas actualmente requieren implementaciones nativas de primitivas criptográficas.
Lenguaje de programación
C#
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/. Ha sido alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.