Ini ialah apl Windows bernama AWS Encryption SDK untuk Dafny yang keluaran terbaharunya boleh dimuat turun sebagai 4.0.0--2023-10-11sourcecode.zip. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama AWS Encryption SDK ini untuk Dafny dengan OnWorks secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan mana-mana emulator dalam talian OS OnWorks daripada tapak web ini, tetapi emulator dalam talian Windows yang lebih baik.
- 5. Daripada OS Windows OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi dan pasangnya.
- 7. Muat turun Wine dari repositori perisian pengedaran Linux anda. Setelah dipasang, anda kemudian boleh mengklik dua kali aplikasi untuk menjalankannya dengan Wine. Anda juga boleh mencuba PlayOnLinux, antara muka mewah melalui Wine yang akan membantu anda memasang program dan permainan Windows yang popular.
Wain ialah cara untuk menjalankan perisian Windows pada Linux, tetapi tanpa Windows diperlukan. Wain ialah lapisan keserasian Windows sumber terbuka yang boleh menjalankan program Windows secara langsung pada mana-mana desktop Linux. Pada asasnya, Wine cuba untuk melaksanakan semula Windows yang mencukupi dari awal supaya ia boleh menjalankan semua aplikasi Windows tersebut tanpa memerlukan Windows.
SKRIN
Ad
SDK Penyulitan AWS untuk Dafny
DESCRIPTION
Untuk membina, SDK Penyulitan AWS memerlukan versi dafny yang paling terkini pada PATH anda. Selain itu, projek ini menggunakan tugas pengesahan selari yang disediakan oleh pemalam dafny.msbuild MSBuild, dan dengan itu memerlukan dotnet 3.0. Ujian pada masa ini memerlukan pelaksanaan asli primitif kriptografi dan kaedah lain, jadi ia hanya boleh dijalankan apabila membenamkan pustaka ini ke dalam salah satu bahasa sasaran kompilasi yang disokong oleh Dafny. Repo ini menggunakan Duvet untuk mendokumentasikan spesifikasi secara langsung bersama pelaksanaan ini. Rujuk spesifikasi untuk cara memasang selimut untuk menjana laporan. Secara lalai duvet_report akan mengekstrak spesifikasi hanya jika ia tidak dapat mencari direktori pematuhan dalam repo spesifikasi, tetapi akan menggunakan semula pengekstrakan sebelumnya jika wujud.
Ciri-ciri
- Perpustakaan ini dilesenkan di bawah Lesen Apache 2.0
- Repo ini menggunakan Duvet untuk mendokumentasikan spesifikasi secara langsung bersama pelaksanaan ini
- Secara lalai duvet_report akan mengekstrak spesifikasi hanya jika ia tidak dapat mencari direktori pematuhan dalam repo spesifikasi
- Untuk membina, SDK Penyulitan AWS memerlukan versi dafny yang paling terkini
- Memerlukan dotnet 3.0
- Ujian pada masa ini memerlukan pelaksanaan asli primitif kriptografi
Bahasa Pengaturcaraan
C#
Kategori
Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.
