クリプトル

クリプトル
開発者	ガロア株式会社
初登場	1980年; 44年前
安定リリース	3.2.0 / 2024年8月20日; 4か月前
実装言語	ハスケル、Python
プラットフォーム	AArch64、x86-64
OS	Linux、macOS、Windows
ライセンス	BSD 3節
Webサイト	翻訳元

Cryptolは、オレゴン州ポートランドに拠点を置くソフトウェア開発会社Galois, Inc.によって開発された、暗号化のためのドメイン固有のプログラミング言語です。 ^[1]^[2]これは、 BSD 3条項ソフトウェアライセンスに基づいてリリースされた無料のオープンソースソフトウェアです。

この言語はもともと米国国家安全保障局が使用するために開発された。^[1]^[3]この言語は、米国の航空宇宙および防衛請負業者に情報技術システムを提供する米国企業ロックウェル・コリンズのような民間企業でも使用されている。 ^[1]

このプログラミング言語は、新しい暗号の設計と実装、既存の暗号アルゴリズムの検証など、暗号の開発と使用のあらゆる側面に使用されます。^[1]^[2]^{[4] Cryptolは、プログラム内の}ストリーム処理関数が暗号や暗号化アルゴリズムをどのように操作するかを暗号学者が観察できるように設計されています。^[2]

参考文献

^ abcd 「Cryptol-the-language-of-cryptology-now-available」。2008年12月。 2015年5月5日閲覧。
^ abc GoogleBook リンクSutcliffe, Geoff; Voronkov, Andrei 編 (2006)。Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, December 2–6, 2005, Proceedings ... / Lecture Notes in Artificial Intelligence)。モンテゴベイ、ジャマイカ: Springer。p. 744。ISBN 978-3-540-30553-8。
^ The Next Wave、High Confidence Software and Systems (HCSS) (PDF) 、第19巻、2011年、2014年7月14日にオリジナル(PDF)からアーカイブ、2014年7月7日に取得
^ Lewis, JR; Martin, B. (2003 年 10 月)。「Cryptol: 高い保証と再ターゲットが可能な暗号の開発と検証」。軍事通信会議、2003 年。MILCOM 2003。IEEE。第 2 巻。マサチューセッツ州ボストン: 軍事通信および電子工学協会 ( AFCEA )、IEEE 通信協会。pp. 820–825。doi :10.1109/MILCOM.2003.1290218。S2CID 8380437 。

外部リンク

公式サイト
GitHubの GaloisInc

[Galois-1] 「Cryptol-the-language-of-cryptology-now-available」。2008年12月。 2015年5月5日閲覧。

[Sutcliffe-2] GoogleBook リンクSutcliffe, Geoff; Voronkov, Andrei 編 (2006)。Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, December 2–6, 2005, Proceedings ... / Lecture Notes in Artificial Intelligence)。モンテゴベイ、ジャマイカ: Springer。p. 744。ISBN 978-3-540-30553-8。

[TheNextWave-3] The Next Wave、High Confidence Software and Systems (HCSS) (PDF) 、第19巻、2011年、2014年7月14日にオリジナル(PDF)からアーカイブ、2014年7月7日に取得

[4] Lewis, JR; Martin, B. (2003 年 10 月)。「Cryptol: 高い保証と再ターゲットが可能な暗号の開発と検証」。軍事通信会議、2003 年。MILCOM 2003。IEEE。第 2 巻。マサチューセッツ州ボストン: 軍事通信および電子工学協会 ( AFCEA )、IEEE 通信協会。pp. 820–825。doi :10.1109/MILCOM.2003.1290218。S2CID 8380437 。