Kryptol - Cryptol

Kryptol je programovací jazyk pro konkrétní doménu pro kryptografie vyvinutý společností Portland, Oregon na základě vývoj softwaru firma, Galois, Inc..[1][2]Jazyk byl původně vyvinut pro použití v Spojené státy Národní bezpečnostní agentura.[1][3] Jazyk používají také soukromé firmy, které poskytují informační technologie systémy, jako je americká společnost Rockwell Collins poskytuje letecký a kosmický průmysl a dodavatelé obrany ve Spojených státech.[1]

Programovací jazyk se používá pro všechny aspekty vývoje a používání kryptografie, jako je návrh a implementace nových šifry a ověření stávajících kryptografických algoritmů.[1][2][4] Cryptol je navržen tak, aby kryptografovi umožnilo sledovat, jak funkce zpracování proudu v programu manipulují s šiframi nebo šifrování algoritmy.[2]

externí odkazy

Reference

  1. ^ A b C d Galois, Cryptol-jazyk-kryptologie-nyní-k dispozici, vyvoláno 2015-05-05
  2. ^ A b C Odkaz na GoogleBookSutcliffe, Geoff; Voronkov, Andrei, eds. (2006), Logika programování, umělé inteligence a uvažování: 12. mezinárodní konference, LPAR 2005, Montego Bay, Jamajka, 2. – 6. Prosince 2005, sborník ... / Přednášky v umělé inteligenci), Springer, str. 744, ISBN  978-3-540-30553-8
  3. ^ Nová vlna, vysoce spolehlivý software a systémy (HCSS) (PDF), 19, 2011, archivovány od originál (PDF) dne 2014-07-14, vyvoláno 2014-07-07
  4. ^ Lewis, JR; Martin, B (říjen 2003), „Cryptol: vysoká jistota, retargetovatelný vývoj a ověřování kryptoměn“, Konference o vojenské komunikaci, 2003. MILCOM 2003. IEEE, 2, Boston, Massachusetts: Asociace pro komunikaci a elektroniku ozbrojených sil (AFCEA) a Komunikační společnost IEEE, str. 820–825, doi:10.1109 / MILCOM.2003.1290218