Ito ang Linux app na pinangalanang Cryptol na ang pinakabagong release ay maaaring ma-download bilang cryptol-3.3.0-windows-2019-X64-with-solvers.tar.gz. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang Cryptol na may OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Simulan ang OnWorks Linux online o Windows online emulator o MACOS online emulator mula sa website na ito.
- 5. Mula sa OnWorks Linux OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application, i-install ito at patakbuhin ito.
MGA LALAKI
Ad
Cryptol
DESCRIPTION
Ang Cryptol ay isang domain-specific na wika (DSL) para sa pagtukoy at pag-verify ng mga cryptographic algorithm. Binuo ni Galois, ang Cryptol ay nagbibigay ng mataas na antas ng mathematical syntax para sa paglalarawan ng mga cryptographic na primitive at nagbibigay-daan sa pormal na pag-verify ng mga katangian ng algorithm. Ginagamit ito sa mga sektor ng akademiko, pananaliksik, at pagtatanggol upang patunayan ang kawastuhan at seguridad sa pamamagitan ng simbolikong pagpapatupad at pagsusuri ng modelo, na tinitiyak na ang kritikal na cryptographic code ay walang mga bahid sa disenyo.
Mga tampok
- Iniakma ang DSL para sa disenyo ng cryptographic algorithm
- Pormal na pagpapatunay sa pamamagitan ng simbolikong pagpapatupad
- Bit-precise na arithmetic at pagtutugma ng pattern
- Interactive na REPL at scripting environment
- Sumasama sa mga tool sa pag-verify tulad ng SAW
- Sinusuportahan ang equivalence checking sa pagitan ng specs at code
Wika ng Programming
Haskell
Kategorya
Ito ay isang application na maaari ding makuha mula sa https://sourceforge.net/projects/cryptol.mirror/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.
