Jump to content

Recommended Posts

Posted

Разработчики Cryptol выложили в открытый доступ исходный код Cryptol 2 — программы, которая предназначена для проверки правильного применения криптографических алгоритмов. Последние события показали, что проблема корректной реализации алгоритмов является актуальной. Ученые проделали большую работу, чтобы создать непробиваемую криптографическую защиту, но программисты часто не способны правильно использовать эти алгоритмы.

Кто-то обычно создает «образцовую реализацию» алгоритма, а остальные тупо копируют ее или видоизменяют под собственные нужды. И до сих пор не существовало программы, которая бы проверила, насколько корректно реализован алгоритм в конкретном приложении. Именно для этого создана программа Cryptol. С помощью спецификаций в Cryptol разработчики могут генерировать собственные векторы для тестирования, доказывать теоремы и (с помощью других инструментов) проверять соответствие собственных программ базовым требованиям криптографической защиты, или даже генерировать необходимый код на основе спецификаций..

Раньше Cryptol выпускалась с закрытыми исходниками, но сейчас вышла вторая версия программы с открытым кодом под 3-пунктовой лицензией BSD. Разработчики говорят, что написание этой программы заняло примерно 20 человеко-лет, так что публикация исходников — существенная жертва в пользу человечества.

 

источник: http://www.xakep.ru/post/62429/default.asp

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
  • Recently Browsing   0 members

    • No registered users viewing this page.
  • Similar Topics

    • Crypto Office: инструмент криптоопераций для бизнеса внутри Telegram

      Crypto Office — сервис для компаний и команд, которым нужно работать с криптовалютой в операционных процессах: совершать массовые выплаты, вести учет переводов, обменивать активы между сетями и контролировать движение средств. Основная работа Crypto Office выстроена в Телеграм-боте, через который пользователь управляет всеми операциями. Для бизнеса криптовалюта давно перестала быть только инвестиционным активом. Компании используют стейблкоины и криптовалюты для расчетов с подрядчиками, пар

      in Новости криптовалют

    • Джек Дорси: Биткоин — это инструмент против банковского контроля

      Сооснователь Twitter и компании Block Джек Дорси (Jack Dorsey) заявил, что биткоин — это не просто деньги, а инструмент против банковского контроля и зависимости от посредников вроде Visa и Mastercard. По его словам, изначальная идея биткоина тесно связана со свободой информации и наследует принципы раннего интернета, где доступ к данным должен быть открытым и не зависеть от централизованных платформ. В этом контексте первая криптовалюта выполняет не только финансовую функцию, но и становит

      in Новости криптовалют

    • Эксперты Google обнаружили инструмент для кражи сид-фраз на iPhone

      Эксперты по кибербезопасности компании Google обнаружили набор инструментов, который мошенники используют для взлома устройств iPhone и кражи сид-фраз криптовалютных кошельков. По данным исследователей, инструмент под названием Coruna нацелен на устройства под управлением iOS версий от 13.0 до 17.2.1. Вредоносный модуль ищет на смартфоне изображения с QR-кодами и анализирует текстовые файлы в попытке обнаружить фразы восстановления криптокошельков. Если такие данные находятся в заметках App

      in Новости криптовалют

    • Виталик Бутерин призвал превратить рынки предсказаний в инструмент хеджирования рисков

      Разработчик второй по величине криптовалюты Эфириум Виталик Бутерин заявил, что рынки предсказаний нуждаются в перезагрузке, так как сейчас они не представляют ценности для криптоиндустрии. Он отметил, что рынки предсказаний уже доказали свою жизнеспособность: обороты торгов остаются значительными, а сами платформы фактически стали источниками информации для игроков. Этот сегмент сумел закрепиться в криптоиндустрии и продемонстрировал устойчивый пользовательский интерес.   В то же вре

      in Новости криптовалют

    • Инструмент для скальпинга: как работает торговый терминал Moonbot

      Скальпинг — торговая стратегия, требующая особых знаний, навыков и дисциплинированности, а также вспомогательных программ. К ним относятся разные торговые терминалы, включая Moonbot. Скальпинг — это разновидность торговой стратегии, когда трейдер стремится быстро открыть и закрыть как можно больше позиций, зарабатывая на малых изменениях курсов. Само название говорит за себя — «скальпинг», это про то, чтобы «срезать верхнюю часть». Как только цена меняется в лучшую сторону, скальпер незамед

      in Новости криптовалют

×
×
  • Create New...