Fugu-MT 論文翻訳(概要): Protocol Dialects as Formal Patterns: A Composable Theory of Lingos -- Technical report

論文の概要: Protocol Dialects as Formal Patterns: A Composable Theory of Lingos -- Technical report

arxiv url: http://arxiv.org/abs/2504.20637v2
Date: Wed, 30 Apr 2025 09:35:46 GMT
ステータス: 翻訳完了
システム内更新日: 2025-05-02 19:15:54.858313
Title: Protocol Dialects as Formal Patterns: A Composable Theory of Lingos -- Technical report
Title（参考訳）: 形式的パターンとしてのプロトコルダイアレクト:リンゴスの構成可能な理論 -- 技術的報告
Authors: Víctor García, Santiago Escobar, Catherine Meadows, Jose Meseguer,
Abstract要約: リンゴは、攻撃者がリンゴを"話す"ことができないようにすることで、方言の重要なセキュリティコンポーネントである。より単純なリンゴからより強力なリンゴを生成するために,数種類のリンゴ変換と合成を提案する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by-sa/4.0/
Abstract: Protocol dialects are methods for modifying protocols that provide light-weight security, especially against easy attacks that can lead to more serious ones. A lingo is a dialect's key security component by making attackers unable to "speak" the lingo. A lingo's "talk" changes all the time, becoming a moving target for attackers. We present several kinds of lingo transformations and compositions to generate stronger lingos from simpler ones, thus making dialects more secure.
Abstract（参考訳）: プロトコル方言は、特により深刻な攻撃に繋がる容易な攻撃に対して、軽量なセキュリティを提供するプロトコルを修正する方法である。リンゴは、攻撃者がリンゴを"話す"ことができないようにすることで、方言の重要なセキュリティコンポーネントである。リンゴの「トーク」は常に変化し、攻撃者の移動標的となる。我々は、より単純なものからより強力なリンゴを生成するために、いくつかの種類のリンゴ変換と合成を行い、方言をより安全にする。

関連論文リスト

Chain-of-Defensive-Thought: Structured Reasoning Elicits Robustness in Large Language Models against Reference Corruption [51.98089842456886]
そこで本研究では,大規模な言語モデルにおいて,チェーン・オブ・ディフェンシブ・思想と呼ばれる単純な手法を用いて,参照破損に対するロバスト性を大幅に向上したことを示す。特に、メソッドの単純さと適用性を考えると、この改善は驚くべきものです。
論文参考訳（メタデータ） (2025-04-29T13:50:05Z)
Robust Steganography from Large Language Models [1.5749416770494704]
頑健なステガノグラフィーの問題点について検討する。任意の秘密メッセージを自然言語テキストに埋め込む構造を設計し,実装する。
論文参考訳（メタデータ） (2025-04-11T21:06:36Z)
CL-Attack: Textual Backdoor Attacks via Cross-Lingual Triggers [16.39847823240552]
CLアタックは、複数の言語を含む特定の構造を持つテキストを使用することでバックドアを注入する。 CL攻撃は, 分類タスクと生成タスクの両方において, 毒性率の低い攻撃成功率をほぼ100%達成できることを示す。我々はさらに、CL攻撃の影響を部分的に軽減できるTranslateDefenseと呼ばれる新しい防衛装置を開発する。
論文参考訳（メタデータ） (2024-12-26T03:13:03Z)
Towards Understanding the Fragility of Multilingual LLMs against Fine-Tuning Attacks [18.208272960774337]
LLM(Large Language Models)は、その安全性に対する幅広い懸念を引き起こしている。近年の研究では, 微調整によりLLMの安全性の整合性を容易に除去できることが示されている。我々は,多言語LLMにおける微調整攻撃の理解をさらに進める。
論文参考訳（メタデータ） (2024-10-23T18:27:36Z)
Learning diverse attacks on large language models for robust red-teaming and safety tuning [126.32539952157083]
レッドチーム、あるいは有害な応答を誘発するプロンプトの特定は、大きな言語モデルの安全なデプロイを保証するための重要なステップである。新規性と多様性を優先する明確な規則化であっても、既存のアプローチはモード崩壊または効果的な攻撃を発生させることができないことを示す。我々は,GFlowNetの微調整と二次平滑化フェーズを用いて,多種多様な効果的な攻撃プロンプトを生成するために攻撃モデルを訓練することを提案する。
論文参考訳（メタデータ） (2024-05-28T19:16:17Z)
Dialects for CoAP-like Messaging Protocols [0.0]
我々は、CoAPメッセージングプロトコルを調査し、異なる脆弱性を定式化する2つの攻撃モデルを定義する。 CoAPプロトコル、方言、アタックモデルは、書き換えロジックシステムMaudeで形式化されている。いくつかのケーススタディでは、この方言を適用した際の脆弱性と効果が報告されている。
論文参考訳（メタデータ） (2024-05-22T02:25:27Z)
AdaShield: Safeguarding Multimodal Large Language Models from Structure-based Attack via Adaptive Shield Prompting [54.931241667414184]
textbfAdaptive textbfShield Promptingを提案する。これは、MLLMを構造ベースのジェイルブレイク攻撃から守るための防御プロンプトで入力をプリペイドする。我々の手法は、構造に基づくジェイルブレイク攻撃に対するMLLMの堅牢性を一貫して改善することができる。
論文参考訳（メタデータ） (2024-03-14T15:57:13Z)
Coercing LLMs to do and reveal (almost) anything [80.8601180293558]
大規模言語モデル(LLM)に対する敵対的攻撃は、有害なステートメントを作るためにモデルを「ジェイルブレイク」することができることが示されている。 LLMに対する敵対的攻撃のスペクトルは単なるジェイルブレイクよりもはるかに大きいと我々は主張する。
論文参考訳（メタデータ） (2024-02-21T18:59:13Z)
Weak-to-Strong Jailbreaking on Large Language Models [96.50953637783581]
大規模言語モデル(LLM)は、ジェイルブレイク攻撃に対して脆弱である。既存のジェイルブレイク法は計算コストがかかる。我々は、弱々しく強固な脱獄攻撃を提案する。
論文参考訳（メタデータ） (2024-01-30T18:48:37Z)
DADA: Dialect Adaptation via Dynamic Aggregation of Linguistic Rules [64.93179829965072]
DADAは、多言語対応のSAE訓練モデルに対するモジュラーアプローチである。 DADAは単一タスクと命令言語モデルの両方に有効であることを示す。
論文参考訳（メタデータ） (2023-05-22T18:43:31Z)
Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses [0.0]
マルチパーティプロトコルの重ね合わせ攻撃を考慮した最初の計算セキュリティモデルを提案する。我々の新しいセキュリティモデルは、よく知られたOne-Time-Padプロトコルのセキュリティを証明することで満足できることを示す。重畳攻撃に抵抗するセキュアな2要素計算のための最初の具体的なプロトコルを構築するために,この新たな知識を用いている。
論文参考訳（メタデータ） (2020-07-01T18:00:54Z)

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