Loading article…
メッセージ認証アルゴリズム( MAA )は、メッセージ認証コード(MAC) を計算するための最初の暗号化関数の 1 つでした。
歴史
MAA は、英国銀行自動決済サービスからの要請に応えて、1983 年に英国国立物理学研究所のDonald Davies 氏と David Clayden 氏によって設計されました。MAA は、広く受け入れられた最初のメッセージ認証コード アルゴリズムの 1 つです。
開発と標準化
MAAの元の仕様[1] [2]は自然言語と表の組み合わせで提供され、 CとBASICプログラミング言語による2つの実装が補完されました。
MAAは1987年にISOに採用され、銀行取引の真正性と完全性を確保することを目的とした国際標準ISO 8730 [3] [4]およびISO 8731-2 [5]の一部となりました。
攻撃
その後、MAAの暗号解読により、実行可能なブルートフォース攻撃、衝突クラスターの存在、鍵回復技術など、さまざまな弱点が明らかになりました。[6] [7] [8] [9]このため、MAAは2002年にISO規格から撤回されましたが、さまざまな形式手法を評価するための著名なケーススタディとして引き続き使用されました。[10]
MAAの正式な仕様
MAA は、さまざまな形式手法を評価するための優れたケーススタディとして使用されてきました。
1990年代初頭、NPLはMAAの3つの正式な仕様を策定した。1つはZ、[11] 1つはLOTOS、[12] 1つはVDM [ 13]である。[14] VDM仕様は1992年の国際標準8731-2の改訂版の一部となり、後者の仕様から3つの実装、 C、Miranda、Modula-2が手動で派生した。[15]
MAAの他の形式モデルも開発されている。2017年には、大規模な項書き換えシステムとしてのMAAの完全な形式仕様が公開された。 [16]この仕様から、15の異なる言語でのMAAの実装が自動的に生成されている。2018年には、LOTOSとLNTの2つの新しいMAAの形式仕様が公開された。[17]
参考文献
- ^ Davies, Donald W. (1985)。「メインフレーム コンピュータに適したメッセージ認証アルゴリズム」。Advances in Cryptology – Proceedings of the Workshop on the Theory and Application of Cryptographic Techniques (CRYPTO'84)、サンタバーバラ、カリフォルニア州、米国。Lecture Notes in Computer Science。第 196 巻。Springer。pp. 393–400。doi : 10.1007/3-540-39568-7_30。
- ^ Davies, Donald W.; Clayden, David O. (1988). メッセージ認証アルゴリズム (MAA) とその実装(PDF) (NPL レポート DITC 109/88). テディントン、ミドルセックス、英国: 国立物理学研究所。
- ^ 国際標準化機構 (1987)。国際規格 8731-2。メッセージ認証の承認アルゴリズム - パート 2: メッセージ認証アルゴリズム (MAA) (レポート)。ジュネーブ。
- ^ 国際標準化機構 (1992)。国際規格 8731-2。メッセージ認証の承認アルゴリズム - パート 2: メッセージ認証アルゴリズム (MAA) (レポート)。ジュネーブ。
- ^ 国際標準化機構 (1990)。国際規格 8730。メッセージ認証の要件 (卸売) (レポート)。ジュネーブ。
- ^ Preneel, Bart; van Oorschot, Paul C. (1996). 2 つの MAC アルゴリズムのセキュリティについて. 暗号学の進歩 - 暗号技術の理論と応用に関する国際会議 (EUROCRYPT'96) の議事録、サラゴサ、スペイン。コンピュータサイエンスの講義ノート。第 1070 巻。Springer。pp. 19–32。doi : 10.1007/3-540-68339-9_3。
- ^ Preneel, Bart; van Oorschot, Paul C. (1999). 「反復メッセージ認証コードのセキュリティについて」. IEEE Transactions on Information Theory . 45 (1): 188–199. doi :10.1109/18.746787.
- ^ Preneel, Bart; Rumen, Vincent; van Oorschot, Paul C. (1997). 「メッセージ認証アルゴリズム (MAA) のセキュリティ分析 -journal=European Transactions on Telecommunications」. 8 (5): 455–470. doi :10.1002/ett.4460080504.
{{cite journal}}:ジャーナルを引用するには|journal=(ヘルプ)が必要です - ^ Rijmen, Vincent; Preneel, Bart; De Win, Erik (1996). MAA のキー回復と衝突クラスター(PDF)。第 1 回国際通信ネットワーク セキュリティ会議 (SCN'96) の議事録。
- ^ Preneel, Bart (2011). 「MAA」.暗号とセキュリティの百科事典. 暗号とセキュリティの百科事典. pp. 741–742. doi :10.1007/978-1-4419-5906-5_591. ISBN 978-1-4419-5905-8. 2021年5月3日閲覧。
- ^ MKF Lai (1991). MAA 標準の Z での形式的解釈 (NPL レポート DITC 184/91). テディントン、ミドルセックス、英国: 国立物理学研究所。
- ^ Harold B. Munster (1991). MAA 標準の LOTOS 仕様と LOTOS の評価(PDF) (NPL レポート DITC 191/91). テディントン、ミドルセックス、英国: 国立物理学研究所。
- ^ Graeme I. Parkin; G. O'Neill (1990). VDM における MAA 標準の仕様 (NPL レポート DITC 160/90)。英国ミドルセックス州テディントンにある国立物理学研究所。
- ^ Graeme I. Parkin、G. O'Neill (1991)。Søren Prehn、WJ Toetenel (編) 。VDM における MAA 標準の仕様。形式的ソフトウェア開発 -第4 回 VDM ヨーロッパ国際シンポジウム (VDM'91) の議事録 (第 1 巻)、Noordwijkerhout、オランダ。コンピュータ サイエンスの講義ノート。第 551 巻。Springer。pp. 526–544。doi :10.1007/3-540-54834-3_31。
- ^ RP Lampard (1991). VDM 仕様からの MAA の実装 (NPL 技術覚書 DITC 50/91). テディントン、ミドルセックス、英国: 国立物理学研究所。
- ^ Garavel, Hubert; Marsso, Lina (2017). 先駆的な暗号アルゴリズムをモデル化する大規模項書き換えシステム。スウェーデン、ウプサラで開催された第 2 回実システム形式分析モデルワークショップ (MARS'17) の議事録。理論計算機科学の電子会議。第 244 巻。pp. 129–183。arXiv : 1703.06573。doi : 10.4204 / EPTCS.244.6。
- ^ Garavel, Hubert; Marsso, Lina (2018). メッセージ認証アルゴリズムの 8 つの形式仕様の比較研究。第 3 回実システムの形式分析モデルに関するワークショップ (MARS'18) および第 6 回検証およびプログラム変換に関する国際ワークショップ (MARS/VPT 2018)、テッサロニキ、ギリシャの議事録。理論計算機科学の電子議事録。第 268 巻。pp. 41–87。arXiv : 1803.10322。doi : 10.4204 / EPTCS.268.2。