Компания Galois, занимающаяся созданием и разработкой различного ПО, недавно объявила в своем блоге о том, что криптографический язык программирования Cryptol, изначально закрытый, теперь доступен любому желающему.
Созданный для Агенства Национальной Безопасности США, Cryptol является предметно-ориентированным языком программирования и служит инструментом создания дизайна, реализации и верификации криптографических алгоритмов. Разработка не является новой — на Криптоле было написано несколько крупных проектов, а в настоящем времени ведется разработка в корпорации Rockwell Collins.
Cryptol портирован под Windows, Mac и Linux и доступен для скачивания в триальной, ознакомительной, версии. Она включает в себя интерпретатор, документацию и примеры. А вот для того, чтобы получить полную версию — придется написать разработчикам и убедить их в необходимости выдать вам полнофункциональный Cryptol.
Оригинальный пост в блоге.
Galois Blog via Slashdot
Созданный для Агенства Национальной Безопасности США, Cryptol является предметно-ориентированным языком программирования и служит инструментом создания дизайна, реализации и верификации криптографических алгоритмов. Разработка не является новой — на Криптоле было написано несколько крупных проектов, а в настоящем времени ведется разработка в корпорации Rockwell Collins.
Cryptol портирован под Windows, Mac и Linux и доступен для скачивания в триальной, ознакомительной, версии. Она включает в себя интерпретатор, документацию и примеры. А вот для того, чтобы получить полную версию — придется написать разработчикам и убедить их в необходимости выдать вам полнофункциональный Cryptol.
Оригинальный пост в блоге.
Galois Blog via Slashdot
