크립톨

Cryptol

Cryptol은 오리건주 포틀랜드에 본사를 둔 소프트웨어 개발 회사인 Galois, Inc.에서 개발한 암호학을 위한 도메인별 프로그래밍 언어다.[1][2]이 언어는 원래 미국 국가안보국에서 사용하기 위해 개발되었다.[1][3]이 언어는 미국의 록웰 콜린스가 항공우주 및 방산업체에 제공하는 것과 같은 정보기술 시스템을 제공하는 민간 기업에서도 사용된다.[1]

프로그래밍 언어는 새로운 암호의 설계와 구현, 기존 암호 알고리즘의 검증 등 암호의 개발과 이용의 모든 측면에 사용된다.[1][2][4]크립톨은 프로그램의 스트림 처리 기능이 암호나 암호화 알고리즘을 어떻게 조작하는지 암호학자가 볼 수 있도록 설계됐다.[2]

외부 링크

참조

  1. ^ a b c d Galois, Cryptol-the-language-of-cryptology-now-available, retrieved 2015-05-05
  2. ^ a b c GoogleBook 링크Sutcliffe, Geoff; Voronkov, Andrei, eds. (2006), Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings ... / Lecture Notes in Artificial Intelligence), Springer, p. 744, ISBN 978-3-540-30553-8
  3. ^ The Next Wave, High Confidence Software and Systems (HCSS) (PDF), vol. 19, 2011, archived from the original (PDF) on 2014-07-14, retrieved 2014-07-07
  4. ^ Lewis, JR; Martin, B (October 2003), "Cryptol: high assurance, retargetable crypto development and validation", Military Communications Conference, 2003. MILCOM 2003. IEEE, vol. 2, Boston, Massachusetts: Armed Forces Communications and Electronics Association (AFCEA) and the IEEE Communications Society, pp. 820–825, doi:10.1109/MILCOM.2003.1290218