Fugu-MT 論文翻訳(概要): Formally Modeling the Terrapin Attack on SSH

論文の概要: Formally Modeling the Terrapin Attack on SSH

arxiv url: http://arxiv.org/abs/2609.26358v1
Date: Tue, 22 Sep 2026 13:00:53 GMT
ステータス: 翻訳完了
システム内更新日: 2026-09-23 18:04:04.380702
Title: Formally Modeling the Terrapin Attack on SSH
Title（参考訳）: SSHにおけるテラピン攻撃のモデル化
Abstract要約: SSHチャネルの完全性に対するTerrapin攻撃(USENIX Security 2024)は、チャネル状態に対する攻撃という新しい攻撃ベクトルを使用した。本稿では,部分的に選択された状態下でのチャネル整合性に関する形式モデルを提案する。 3つのEncrypt-then-MAC(EtM)モードとSSHのChaCha20-Poly1305がCOモデルでは安全でないことが判明した。特に,EaM-CBCのチャネル整合性に対するBEAST-like select-plaintext攻撃について述べる。
参考スコア（独自算出の注目度）: 9.490846466414785
License: http://creativecommons.org/licenses/by/4.0/
Abstract: The Terrapin attack against SSH channel integrity (USENIX Security 2024) used a novel attack vector: attacks on the channel state. Surprisingly, not all AEAD modes of SSH were equally affected by this attack, and it remained an open question if "unaffected" meant "secure". Existing formal models for secure channels are based on stateful encryption. However, these models do not define what the channel state is and how it is used as input to the different AEAD modes. In this paper, we propose a formal model for channel integrity under partially chosen state. Applied to the Terrapin attack, the chosen state is the SSH sequence number. It uses an abstract stateful encryption interface, for which we provide pseudocode descriptions for the eight most prominent AEAD modes used in SSH. By varying the SND oracle, we can model ciphertext-only (CO; the Terrapin attack), known-plaintext (KPA), and chosen-plaintext (CPA) attacks. This allows us to establish concrete bounds on the security of the AEAD modes. We find that all three Encrypt-then-MAC (EtM) modes and ChaCha20-Poly1305 in SSH are insecure in the CO model. AES-GCM is the only cipher secure in all three model variants. Going beyond Terrapin, we show that Encrypt-and-MAC (EaM) with a CBC cipher is secure, even in the KPA model. In particular, we describe a novel BEAST-like chosen-plaintext attack on the channel integrity of EaM-CBC, which separates the KPA and CPA models for this scheme.
Abstract（参考訳）: SSHチャネルの完全性に対するTerrapin攻撃(USENIX Security 2024)は、チャネル状態に対する攻撃という新しい攻撃ベクトルを使用した。驚くべきことに、すべてのAEADモードがこの攻撃の影響を受けているわけではない。セキュアチャネルの既存の形式モデルはステートフル暗号化に基づいている。しかし、これらのモデルはチャンネルの状態と、異なるAEADモードへの入力としてどのように使用されるかを定義していない。本稿では,部分的に選択された状態下でのチャネル整合性に関する形式モデルを提案する。 Terrapin攻撃に適用すると、選択された状態はSSHシーケンス番号である。抽象化されたステートフルな暗号化インタフェースを使用し、SSHで使用される8つの顕著なAEADモードに対して、擬似コード記述を提供する。 SNDオラクルを変更することで、暗号文のみ(CO;Terrapin攻撃)、既知の平文(KPA)、選択平文(CPA)攻撃をモデル化できる。これにより、AEADモードのセキュリティに関する具体的なバウンダリを確立することができます。 3つのEncrypt-then-MAC(EtM)モードとSSHのChaCha20-Poly1305がCOモデルでは安全でないことが判明した。 AES-GCMは3つのモデルで唯一セキュアな暗号である。 Terrapinを超えて、CBC暗号を用いた暗号化とMAC(EaM)は、KPAモデルであってもセキュアであることを示す。特に、EaM-CBCのチャネル整合性に対するBEAST-like select-plaintext攻撃について記述し、このスキームのKPAモデルとCPAモデルを分離する。

関連論文リスト

Crossing the Streams: SSH Plaintext Recovery via a Common Compression Context in Multiplexed Channels [3.731289189298451]
我々は、SSHチャネル多重化が、これまで認識されていなかった圧縮側チャネルを生成することを示す。攻撃者は部分的に選択された平文をチャネルに注入し、その結果の暗号文の長さをネットワーク上で観察することができる。これにより、あるチャネルから他のチャネルと対話することで秘密を回復するアダプティブな選択プレーンテキスト攻撃が可能になる。
論文参考訳（メタデータ） (2026-09-07T16:19:50Z)
Stealing Reasoning Traces from Proprietary LLM APIs [84.58379404903394]
我々は、暗号化された推論トレースのためのスケーラブルな復号化ジェイルブレイクを開発する。抗蒸留機構を回避し、敵がプロプライエタリなモデルの推論を抽出できるようにする。それは必然的に、推論プロセス内に隠された有害な情報を明らかにします。
論文参考訳（メタデータ） (2026-08-10T17:24:50Z)
Anamorphic Encryption with CCA Security: A Standard Model Construction [32.95661036494699]
アナモルフィック暗号化は秘密通信にとって重要なツールであり、コンパイル後のシナリオにおいても機密性を維持する。我々は、PKAKEM(Public-Key)とSKAKEM(Symmetric-Key)の両方を包含するAnamorphic Key Encapsulation Mechanism(AKEM)を定式化する。本稿では, 標準モデルにおける厳密な形式的証明を提供し, カプセル化キーを制御する「独裁者」に対してレジリエンスを示す。
論文参考訳（メタデータ） (2026-04-09T03:49:41Z)
Cryptanalysis and design for a family of plaintext non-delayed chaotic ciphers [2.3204178451683264]
複数のセキュリティ脆弱性を含む3段階の置換拡散置換PNDCCの典型的な例を示す。すべての統計指標は優れた性能を示すが、4つの異なる攻撃で破壊することができる。本稿では,様々な暗号解析攻撃に抵抗できる,平文遅延カオス暗号(PDCC)と呼ばれる新しい方式を提案する。
論文参考訳（メタデータ） (2025-09-14T08:36:21Z)
An Interpretable N-gram Perplexity Threat Model for Large Language Model Jailbreaks [87.64278063236847]
本研究では,ジェイルブレイク攻撃の原理的比較のための統一的脅威モデルを提案する。私たちの脅威モデルは、あるジェイルブレイクがテキストの配布で起こりそうなかどうかをチェックします。私たちはこの脅威モデルに人気のある攻撃を適応させ、これらの攻撃を同等の足場でベンチマークしました。
論文参考訳（メタデータ） (2024-10-21T17:27:01Z)
CodeChameleon: Personalized Encryption Framework for Jailbreaking Large Language Models [49.60006012946767]
パーソナライズされた暗号化手法に基づく新しいジェイルブレイクフレームワークであるCodeChameleonを提案する。我々は、7つの大規模言語モデルに関する広範な実験を行い、最先端の平均アタック成功率(ASR)を達成する。 GPT-4-1106上で86.6%のASRを実現する。
論文参考訳（メタデータ） (2024-02-26T16:35:59Z)
Coding-Based Hybrid Post-Quantum Cryptosystem for Non-Uniform Information [53.85237314348328]
我々は、新しいハイブリッドユニバーサルネットワーク符号化暗号(NU-HUNCC)を導入する。 NU-HUNCCは,リンクのサブセットにアクセス可能な盗聴者に対して,個別に情報理論的に保護されていることを示す。
論文参考訳（メタデータ） (2024-02-13T12:12:39Z)
Terrapin Attack: Breaking SSH Channel Integrity By Sequence Number Manipulation [11.499428847222099]
SSH Binary Packet Protocolはもはやセキュアなチャネルではないことを示す。これにより、SSHチャネルの先頭にある暗号化パケットをクライアントやサーバに通知せずに削除できるプレフィックス・トランケーション攻撃が可能になる。我々は、攻撃を緩和するために、SSHの効果的かつ後方互換性のある変更を提案する。
論文参考訳（メタデータ） (2023-12-19T18:51:12Z)
Tamper-Evident Pairing [55.2480439325792]
Tamper-Evident Pairing (TEP)はPush-ButtonConfiguration (PBC)標準の改良である。 TEP は Tamper-Evident Announcement (TEA) に依存しており、相手が送信されたメッセージを検出せずに改ざんしたり、メッセージが送信された事実を隠蔽したりすることを保証している。本稿では,その動作を理解するために必要なすべての情報を含む,TEPプロトコルの概要について概説する。
論文参考訳（メタデータ） (2023-11-24T18:54:00Z)
Recovering AES Keys with a Deep Cold Boot Attack [91.22679787578438]
コールドブート攻撃は、電源がシャットダウンされた直後に破損したランダムアクセスメモリを検査する。本研究では,AES鍵に対する攻撃を適用するために,深誤り訂正符号手法の新たな暗号版とSATソルバ方式を併用する。以上の結果から,本手法は攻撃方法の精度を極めて高いマージンで上回っていることが明らかとなった。
論文参考訳（メタデータ） (2021-06-09T07:57:01Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。