Cryptol stworzony przez firm?? Galois jest j??zykiem s??u????cym do pisania specyfikacji algorytm??w kryptograficznych w spos??b u??atwiaj??cy analiz?? formaln??, testowanie oraz weryfikacj?? poprawno??ci. Specyfikacja napisana w Cryptolu kompiluje si?? do VHDL, Haskella oraz C/C++.
Za darmo dost??pna jest testowa wersja programu, darmowa do zastosowa?? niekomercyjnych. Firma Galois chwali si??, ??e narz??dzie zosta??o stworzone na potrzeby NSA. Wi??cej informacji na stronie Galois:
http://www.galois.com/technology/communications_security/cryptol
Witaj na IT wiadomości.
comment