論文の概要: A Theory of Composable Lingos for Protocol Dialects
- arxiv url: http://arxiv.org/abs/2603.19908v1
- Date: Fri, 20 Mar 2026 12:45:19 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-03-23 19:48:39.13813
- Title: A Theory of Composable Lingos for Protocol Dialects
- Title（参考訳）: プロトコル辞書のための合成可能なリンゴ理論
- Authors: Víctor García, Santaigo Escobar, Catherine Meadows, Jose Meseguer,
- Abstract要約: プロトコル方言への形式パターンの適用について述べる。
リンゴは方言の重要なセキュリティコンポーネントであり、攻撃者はリンゴを「話す」ことができない。
言語と方言の両方にいくつかの形式パターンを提示する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: Formal patterns are formally specified solutions to frequently occurring distributed system problems that are generic, executable, and come with strong qualitative and/or quantitative formal guarantees. A formal pattern is a generic system transformation which transforms a usually infinite class of systems in need of the pattern's solution into enhanced versions of such systems that solve the problem in question. In this paper we demonstrate the application of formal patterns to protocol dialects. Dialects are methods for hardening protocols so as to endow them with light-weight security, especially against easy attacks that can lead to more serious ones. A lingo is a dialect's key security component, because attackers are unable to ''speak'' the lingo. A lingo's ''talk'' changes all the time, becoming a moving target for attackers. In this paper we present several formal patterns for both lingos and dialects. Lingo formal patterns can make lingos stronger by both transforming them and by composing several lingos into a stronger lingo. Dialects themselves can be obtained by the application of a single dialect formal pattern, generic on both the chosen lingo and the chosen protocol.
- Abstract（参考訳）: フォーマルパターンは、一般的で実行可能で、厳密な定性的および/または定量的な形式保証を伴う、頻繁に発生する分散システム問題に対する、正式に指定された解決策である。
フォーマルパターン(英: formal pattern)は、パターンの解を必要とする通常無限のシステムのクラスを、問題の問題を解決するようなシステムの拡張バージョンに変換する一般的なシステム変換である。
本稿では,プロトコル方言に対する形式パターンの適用例を示す。
ダイアレクトはプロトコルを硬化させる方法であり、特により深刻な攻撃に繋がる簡単な攻撃に対して、軽量なセキュリティを付与する。
リンゴは方言の重要なセキュリティコンポーネントであり、攻撃者はリンゴを「話す」ことができない。
リンゴの'talk'は常に変化し、攻撃者の移動ターゲットとなる。
本稿では,言語と方言の両方について,いくつかの形式パターンを示す。
リンゴの形式的なパターンは、リンゴをより強くし、複数のリンゴをより強いリンゴに構成することで、リンゴをより強くすることができる。
方言そのものは、選択された言語と選択されたプロトコルの両方に汎用的な単一の方言形式パターンを適用することで得ることができる。
関連論文リスト
- Chain-of-Defensive-Thought: Structured Reasoning Elicits Robustness in Large Language Models against Reference Corruption [51.98089842456886]
そこで本研究では,大規模な言語モデルにおいて,チェーン・オブ・ディフェンシブ・思想と呼ばれる単純な手法を用いて,参照破損に対するロバスト性を大幅に向上したことを示す。
特に、メソッドの単純さと適用性を考えると、この改善は驚くべきものです。
論文 参考訳（メタデータ） (2025-04-29T13:50:05Z) - Protocol Dialects as Formal Patterns: A Composable Theory of Lingos -- Technical report [0.0]
リンゴは、攻撃者がリンゴを"話す"ことができないようにすることで、方言の重要なセキュリティコンポーネントである。
より単純なリンゴからより強力なリンゴを生成するために,数種類のリンゴ変換と合成を提案する。
論文 参考訳（メタデータ） (2025-04-29T11:08:18Z) - Type-Constrained Code Generation with Language Models [51.03439021895432]
本稿では,型システムを利用してコード生成を誘導する型制約デコード手法を提案する。
そこで本研究では,新しい接頭辞オートマトンと,在来型を探索する手法を開発し,LLM生成コードに適切な型付けを強制するための健全なアプローチを構築した。
提案手法は,コード合成,翻訳,修復作業において,コンパイルエラーを半分以上削減し,機能的正しさを著しく向上させる。
論文 参考訳（メタデータ） (2025-04-12T15:03:00Z) - Dialects for CoAP-like Messaging Protocols [0.0]
我々は、CoAPメッセージングプロトコルを調査し、異なる脆弱性を定式化する2つの攻撃モデルを定義する。
CoAPプロトコル、方言、アタックモデルは、書き換えロジックシステムMaudeで形式化されている。
いくつかのケーススタディでは、この方言を適用した際の脆弱性と効果が報告されている。
論文 参考訳（メタデータ） (2024-05-22T02:25:27Z) - DADA: Dialect Adaptation via Dynamic Aggregation of Linguistic Rules [64.93179829965072]
DADAは、多言語対応のSAE訓練モデルに対するモジュラーアプローチである。
DADAは単一タスクと命令言語モデルの両方に有効であることを示す。
論文 参考訳（メタデータ） (2023-05-22T18:43:31Z) - Multi-VALUE: A Framework for Cross-Dialectal English NLP [49.55176102659081]
マルチディレクト (Multi-Dilect) は、50の英語方言にまたがる制御可能なルールベースの翻訳システムである。
ストレステストは、非標準方言の先行モデルに対する顕著な性能格差を示す。
私たちはチカノやインド英語のネイティブスピーカーと提携して、人気のあるCoQAタスクの新しいゴールドスタンダード版をリリースしています。
論文 参考訳（メタデータ） (2022-12-15T18:17:01Z) - A Simple Joint Model for Improved Contextual Neural Lemmatization [60.802451210656805]
本稿では,20言語で最先端の成果を得られる,単純結合型ニューラルモデルを提案する。
本論文では,トレーニングと復号化に加えて,本モデルについて述べる。
論文 参考訳（メタデータ） (2019-04-04T02:03:19Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。