这是名为 AWS Encryption SDK for Dafny 的 Windows 应用程序，其最新版本可以作为 4.0.0--2023-10-11sourcecode.zip 下载。 它可以在免费的工作站托管提供商 OnWorks 中在线运行。
免费下载并在线运行名为 AWS Encryption SDK for Dafny with OnWorks 的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从本网站启动任何 OS OnWorks 在线模拟器，但更好的 Windows 在线模拟器。
- 5. 从您刚刚启动的 OnWorks Windows 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序并安装。
- 7. 从您的 Linux 发行版软件存储库下载 Wine。 安装后，您可以双击该应用程序以使用 Wine 运行它们。 您还可以尝试 PlayOnLinux，这是 Wine 上的一个花哨界面，可帮助您安装流行的 Windows 程序和游戏。
Wine 是一种在 Linux 上运行 Windows 软件的方法，但不需要 Windows。 Wine 是一个开源的 Windows 兼容层，可以直接在任何 Linux 桌面上运行 Windows 程序。 本质上，Wine 试图从头开始重新实现足够多的 Windows，以便它可以运行所有这些 Windows 应用程序，而实际上不需要 Windows。
SCREENSHOTS
Ad
适用于 Dafny 的 AWS 加密开发工具包
商品描述
要进行构建，AWS 加密 SDK 需要您的 PATH 上有最新版本的 dafny。 另外，该项目使用dafny.msbuild MSBuild插件提供的并行验证任务，因此需要dotnet 3.0。 目前，这些测试需要加密原语和其他方法的本机实现，因此只有将该库嵌入到 Dafny 支持的编译目标语言之一时才能运行。 此存储库使用 Duvet 直接记录规范以及此实现。 请参阅规范了解如何安装羽绒被以生成报告。 默认情况下，duvet_report 仅当在规范存储库中找不到合规性目录时才会提取规范，但如果存在，将重新使用以前的提取。
特征
- 该库在 Apache 2.0 许可下获得许可
- 此存储库使用 Duvet 直接记录规范以及此实现
- 默认情况下，duvet_report 仅当在规范存储库中找不到合规性目录时才会提取规范
- 要构建，AWS 加密 SDK 需要最新版本的 dafny
- 需要 dotnet 3.0
- 目前的测试需要加密原语的本机实现
程式语言
C#
分类目录
该应用程序也可以从 https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/ 获取。 它已托管在 OnWorks 中，以便从我们的免费操作系统之一以最简单的方式在线运行。
