이것은 Dafny를 위한 AWS 암호화 SDK라는 Windows 앱이며 최신 릴리스는 4.0.0--2023-10-11sourcecode.zip으로 다운로드할 수 있습니다. 워크스테이션을 위한 무료 호스팅 제공자 OnWorks에서 온라인으로 실행할 수 있습니다.
OnWorks가 포함된 Dafny용 AWS 암호화 SDK라는 이 앱을 무료로 다운로드하여 온라인으로 실행해 보세요.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 모든 OS OnWorks 온라인 에뮬레이터를 시작하지만 더 나은 Windows 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Windows OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 애플리케이션을 다운로드하여 설치합니다.
- 7. Linux 배포 소프트웨어 저장소에서 Wine을 다운로드합니다. 설치가 완료되면 앱을 두 번 클릭하여 Wine과 함께 실행할 수 있습니다. 인기 있는 Windows 프로그램 및 게임을 설치하는 데 도움이 되는 Wine을 통한 멋진 인터페이스인 PlayOnLinux를 사용해 볼 수도 있습니다.
Wine은 Linux에서 Windows 소프트웨어를 실행하는 방법이지만 Windows가 필요하지 않습니다. Wine은 모든 Linux 데스크탑에서 직접 Windows 프로그램을 실행할 수 있는 오픈 소스 Windows 호환성 계층입니다. 본질적으로 Wine은 Windows가 필요하지 않고 모든 Windows 응용 프로그램을 실행할 수 있도록 Windows를 처음부터 충분히 다시 구현하려고 합니다.
스크린 샷
Ad
Dafny용 AWS 암호화 SDK
기술
빌드하려면 AWS 암호화 SDK의 PATH에 최신 버전의 dafny가 필요합니다. 또한 이 프로젝트에서는 dafny.msbuild MSBuild 플러그인에서 제공하는 병렬 확인 작업을 사용하므로 dotnet 3.0이 필요합니다. 테스트에는 현재 암호화 기본 요소 및 기타 방법의 기본 구현이 필요하므로 이 라이브러리를 Dafny에서 지원하는 컴파일 대상 언어 중 하나에 포함하는 경우에만 실행할 수 있습니다. 이 저장소는 Duvet을 사용하여 이 구현과 함께 사양을 직접 문서화합니다. 보고서를 생성하려면 이불 설치 방법에 대한 사양을 참조하세요. 기본적으로 duvet_report는 사양 저장소에서 규정 준수 디렉터리를 찾을 수 없는 경우에만 사양을 추출하지만, 존재하는 경우 이전 추출을 다시 사용합니다.
기능
- 이 라이브러리는 Apache 2.0 라이선스에 따라 라이선스가 부여됩니다.
- 이 저장소는 Duvet을 사용하여 이 구현과 함께 사양을 직접 문서화합니다.
- 기본적으로 duvet_report는 사양 저장소에서 규정 준수 디렉터리를 찾을 수 없는 경우에만 사양을 추출합니다.
- 빌드하려면 AWS 암호화 SDK에 최신 버전의 dafny가 필요합니다.
- 닷넷 3.0 필요
- 현재 테스트에는 암호화 기본 요소의 기본 구현이 필요합니다.
프로그래밍 언어
C#
카테고리
이는 https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 시스템 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.
