Fugu-MT 論文翻訳(概要): Attack tree metrics are operad algebras

論文の概要: Attack tree metrics are operad algebras

arxiv url: http://arxiv.org/abs/2401.10008v1
Date: Thu, 18 Jan 2024 14:24:35 GMT
ステータス: 処理完了
システム内更新日: 2024-03-25 12:17:56.134883
Title: Attack tree metrics are operad algebras
Title（参考訳）: アタックツリー計量は演算代数である
Authors: Milan Lopuhaä-Zwakenberg,
Abstract要約: 我々は、圏論、特に演算代数に基づくATメトリクスの定義を導入する。操作理論的な条件下では、既存の計量計算アルゴリズムはかなりの一般性で拡張可能であることを示す。
参考スコア（独自算出の注目度）: 0.7179506962081079
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Attack Trees (ATs) are a widely used tool for security analysis. ATs can be employed in quantitative security analysis through metrics, which assign a security value to an AT. Many different AT metrics exist, and there exist multiple general definitions that aim to study a wide variety of AT metrics at once. However, these all have drawbacks: they do not capture all metrics, and they do not easily generalize to extensions of ATs. In this paper, we introduce a definition of AT metrics based on category theory, specifically operad algebras. This encompasses all previous definitions of AT metrics, and is easily generalized to extensions of ATs. Furthermore, we show that under easily expressed operad-theoretic conditions, existing metric calculation algorithms can be extended in considerable generality.
Abstract（参考訳）: アタックツリー(AT)は、セキュリティ分析のツールとして広く使われている。 ATは、ATにセキュリティ値を割り当てるメトリクスを通じて、定量的なセキュリティ分析に使用できる。様々なATメトリクスが存在し、様々なATメトリクスを同時に研究することを目的とした、複数の一般的な定義が存在する。しかしこれらはいずれも欠点があり、すべてのメトリクスをキャプチャするわけではなく、ATの拡張に容易に一般化するものではない。本稿では,圏論,特に演算代数に基づくATメトリクスの定義を紹介する。これは、以前のATメトリクスの定義を全て含み、容易にATの拡張に一般化される。さらに,操作理論的な条件下では,既存の計量計算アルゴリズムはかなりの一般性で拡張可能であることを示す。

関連論文リスト

A General Online Algorithm for Optimizing Complex Performance Metrics [5.726378955570775]
我々は,バイナリ,マルチクラス,マルチラベルの分類問題において,様々な複雑なパフォーマンス指標を用いて,直接的に使用可能な汎用オンラインアルゴリズムを導入,分析する。アルゴリズムの更新と予測のルールは、過去のデータを保存することなく、非常にシンプルで計算的に効率的である。
論文参考訳（メタデータ） (2024-06-20T21:24:47Z)
Standardizing Structural Causal Models [80.21199731817698]
ベンチマークアルゴリズムのための内部標準構造因果モデル(iSCM)を提案する。構成上、iSCMは$operatornameVar$-sortableではなく、実験的に示すように、$operatornameR2$-sortableではない。
論文参考訳（メタデータ） (2024-06-17T14:52:21Z)
Fuzzy quantitative attack tree analysis [1.640922391885265]
定量的アタックツリー分析は、最も短く、最も可能性が高く、最も安価なアタックなどの重要な指標を定式化する、多数のセキュリティ指標をサポートする。定量的分析における重要なボトルネックは、データ不足と/または知識不足のため、値が正確には分かっていないことである。最上ファジィ計量値を効率的に計算するボトムアップアルゴリズムを導出するモジュラ分解定理を証明した。
論文参考訳（メタデータ） (2024-01-22T20:24:53Z)
Revisiting Evaluation Metrics for Semantic Segmentation: Optimization and Evaluation of Fine-grained Intersection over Union [113.20223082664681]
そこで本研究では,mIoUsの微細化と,それに対応する最悪の指標を提案する。これらのきめ細かいメトリクスは、大きなオブジェクトに対するバイアスの低減、よりリッチな統計情報、モデルとデータセット監査に関する貴重な洞察を提供する。ベンチマークでは,1つの測定値に基づかないことの必要性を強調し,微細なmIoUsが大きな物体への偏りを減少させることを確認した。
論文参考訳（メタデータ） (2023-10-30T03:45:15Z)
ATM: a Logic for Quantitative Security Properties on Attack Trees [1.5020872321247332]
アタックツリー(AT)は、システムの攻撃方法を評価するのに使用されるフレキシブルなモデリング言語を提供する階層図である。 ATMは,ATの量的セキュリティ特性を表現するロジックである。 ATM-formulaeのプロパティと計算メトリクスをチェックするため、二項決定図に基づく理論とアルゴリズムを提案する。
論文参考訳（メタデータ） (2023-09-17T10:07:00Z)
Provable Adversarial Robustness for Fractional Lp Threat Models [136.79415677706612]
分数L_pの「ノルム」で区切られた攻撃はまだ十分に検討されていない。いくつかの望ましい性質を持つ防衛法を提案する。証明可能な(認証された)堅牢性を提供し、ImageNetにスケールし、(高い確率ではなく)決定論的保証を得る。
論文参考訳（メタデータ） (2022-03-16T21:11:41Z)
Exploring Memorization in Adversarial Training [58.38336773082818]
本稿では, 能力, 収束, 一般化, 特に強靭なオーバーフィッティングの深い理解を促進するための, 対人訓練(AT)における記憶効果について検討する。本稿では,詳細な記憶分析を動機とした新たな緩和アルゴリズムを提案する。
論文参考訳（メタデータ） (2021-06-03T05:39:57Z)
OpenMEVA: A Benchmark for Evaluating Open-ended Story Generation Metrics [53.779709191191685]
オープンエンドのストーリー生成指標を評価するためのベンチマークであるOpenMEVAを提案する。 OpenMEVAは、メトリクスの能力を評価するための包括的なテストスイートを提供する。既存の指標は人間の判断と相関が低く、談話レベルの不整合を認識できず、推論知識が欠如していることが観察された。
論文参考訳（メタデータ） (2021-05-19T04:45:07Z)
On the Convergence of Tsetlin Machines for the IDENTITY- and NOT Operators [14.186377732379045]
我々は,分類に係わる1つの節のみを用いて,Tsetlin Machineの収束を分析する。分析の結果、TMは1つの節だけで、意図した論理演算子に正しく収束できることが判明した。 2つの基本作用素の収束の解析は、他の論理作用素を分析する基礎となる。
論文参考訳（メタデータ） (2020-07-28T14:31:16Z)
Generalized Sliced Distances for Probability Distributions [47.543990188697734]
我々は、一般化スライス確率測定(GSPM)と呼ばれる、幅広い確率測定値の族を紹介する。 GSPMは一般化されたラドン変換に根付いており、ユニークな幾何学的解釈を持つ。 GSPMに基づく勾配流を生成モデル応用に適用し、軽度な仮定の下では、勾配流が大域的最適に収束することを示す。
論文参考訳（メタデータ） (2020-02-28T04:18:00Z)
A Family of Pairwise Multi-Marginal Optimal Transports that Define a Generalized Metric [2.650860836597657]
Multi-marginal OT (MMOT) は、複数の分布を同時に輸送するためにOTを一般化する。ペアワイズMMOTの族に対する新しい一般化された計量特性を証明した。我々は、他の一般化メトリクスよりもMMOTの方が優れており、合成タスクと実タスクの両方において非測定値よりも優れていることを示す。
論文参考訳（メタデータ） (2020-01-29T22:10:15Z)

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