Este é o aplicativo Linux denominado AWS Encryption SDK for Dafny, cuja versão mais recente pode ser baixada como 4.0.0--2023-10-11sourcecode.zip. Ele pode ser executado online no provedor de hospedagem gratuito OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado AWS Encryption SDK for Dafny com OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
CAPTURAS DE TELA:
SDK de criptografia da AWS para Dafny
DESCRIÇÃO:
Para construir, o AWS Encryption SDK requer a versão mais atualizada do dafny em seu PATH. Além disso, este projeto usa as tarefas de verificação paralela fornecidas pelo plug-in MSBuild dafny.msbuild e, portanto, requer dotnet 3.0. Os testes atualmente requerem implementações nativas de primitivas criptográficas e outros métodos, portanto, eles só podem ser executados ao incorporar esta biblioteca em uma das linguagens alvo de compilação suportadas pelo Dafny. Este repositório usa Duvet para documentar diretamente a especificação junto com esta implementação. Consulte as especificações sobre como instalar o edredom para gerar relatórios. Por padrão, duvet_report extrairá a especificação somente se não conseguir encontrar o diretório de conformidade no repositório de especificações, mas reutilizará uma extração anterior, se existir.
Recursos
- Esta biblioteca está licenciada sob a licença Apache 2.0
- Este repositório usa Duvet para documentar diretamente a especificação junto com esta implementação
- Por padrão, duvet_report extrairá a especificação somente se não conseguir encontrar o diretório de conformidade no repositório de especificações
- Para construir, o AWS Encryption SDK requer a versão mais atualizada do dafny
- Requer dotnet 3.0
- Os testes atualmente requerem implementações nativas de primitivas criptográficas
Linguagem de Programação
C#
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/. Foi hospedado em OnWorks para poder ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.