Криптол

Криптол
Разработчик(и)	Галуа, Инк.
Репозиторий	github .с /GaloisInc /криптол ;
Написано в	Хаскелл , Питон
Веб-сайт	галуазинк .github .что /криптол /владелец /RefMan .html

Cryptol — это предметно-ориентированный язык программирования для криптографии, разработанный из Портленда, штат Орегон. занимающейся разработкой программного обеспечения фирмой Galois, Inc., ^[1]^[2]Первоначально язык был разработан для использования Агентством США национальной безопасности . ^[1]^[3] Этот язык также используется частными фирмами, которые предоставляют системы информационных технологий , например, американская компания Rockwell Collins поставляет подрядчикам аэрокосмической и оборонной промышленности в Соединенных Штатах. ^[1]

Язык программирования используется для всех аспектов разработки и использования криптографии, таких как разработка и реализация новых шифров и проверка существующих криптографических алгоритмов. ^[1]^[2]^[4] Cryptol предназначен для того, чтобы позволить криптографу наблюдать, как функции потоковой обработки в программе манипулируют шифрами или алгоритмами шифрования . ^[2]

Внешние ссылки

Главная страница Криптола

Ссылки

^ Jump up to: ^а ^б ^с ^д Галуа, Криптол-язык криптологии теперь доступен , получено 5 мая 2015 г.
^ Jump up to: ^а ^б ^с Ссылка на GoogleBook Сатклифф, Джефф; Воронков, Андрей, ред. (2006), Логика для программирования, искусственного интеллекта и рассуждения: 12-я Международная конференция, LPAR 2005, Монтего-Бей, Ямайка, 2-6 декабря 2005 г., Материалы ... / Конспекты лекций по искусственному интеллекту) , Springer, с. 744, ISBN 978-3-540-30553-8
^ Следующая волна, Программное обеспечение и системы высокой надежности (HCSS) (PDF) , том. 19, 2011, заархивировано из оригинала (PDF) 14 июля 2014 г. , получено 7 июля 2014 г.
^ Льюис, младший; Мартин, Б. (октябрь 2003 г.), «Криптол: высокая надежность, разработка и проверка перенацеливаемой шифрования», Конференция военных коммуникаций, 2003 г. MILCOM 2003. IEEE , vol. 2, Бостон, Массачусетс : Ассоциация связи и электроники вооруженных сил (AFCEA) и Общество связи IEEE , стр. 820–825, doi : 10.1109/MILCOM.2003.1290218 , S2CID 8380437

[Galois-1] Jump up to: ^а ^б ^с ^д Галуа, Криптол-язык криптологии теперь доступен , получено 5 мая 2015 г.

[Sutcliffe-2] Jump up to: ^а ^б ^с Ссылка на GoogleBook Сатклифф, Джефф; Воронков, Андрей, ред. (2006), Логика для программирования, искусственного интеллекта и рассуждения: 12-я Международная конференция, LPAR 2005, Монтего-Бей, Ямайка, 2-6 декабря 2005 г., Материалы ... / Конспекты лекций по искусственному интеллекту) , Springer, с. 744, ISBN 978-3-540-30553-8

[TheNextWave-3] Следующая волна, Программное обеспечение и системы высокой надежности (HCSS) (PDF) , том. 19, 2011, заархивировано из оригинала (PDF) 14 июля 2014 г. , получено 7 июля 2014 г.

[4] Льюис, младший; Мартин, Б. (октябрь 2003 г.), «Криптол: высокая надежность, разработка и проверка перенацеливаемой шифрования», Конференция военных коммуникаций, 2003 г. MILCOM 2003. IEEE , vol. 2, Бостон, Массачусетс : Ассоциация связи и электроники вооруженных сил (AFCEA) и Общество связи IEEE , стр. 820–825, doi : 10.1109/MILCOM.2003.1290218 , S2CID 8380437

[1]

[2]

[3]

[4]

v т и Языки программирования
Сравнение Хронология История
Есть АЛГОЛ начало АПЛ Сборка БАЗОВЫЙ Визуальный Бейсик классический .СЕТЬ С С++ С# КОБОЛ Эрланг Форт Фортран Идти Хаскелл Ява JavaScript Юлия Котлин Лисп Два МАТЛАБ МЛ Паскаль Объектный Паскаль Перл PHP Пролог Питон Р Руби Ржавчина SQL Царапать Оболочка Смолток Быстрый более...
Списки: Алфавитные Категорический Поколенческий Не на английском языке Категория