論文の概要: A Logic of Sattestation

• arxiv url: http://arxiv.org/abs/2405.01809v1
• Date: Fri, 3 May 2024 01:48:07 GMT
• ステータス: 処理完了
• システム内更新日: 2024-05-06 14:05:10.174089
• Title: A Logic of Sattestation
• Title（参考訳）: サテステーションの論理
• Authors: Aaron D. Jaggard, Paul Syverson, Catherine Meadows,
• Abstract要約: 我々は,Webアドレスに対するコンテキスト信頼に関する推論の論理を導入する。 我々は、Kripkeセマンティクスを提供し、プリンシパルのポリシーに関する合理的な仮定の下でその健全性を証明する。
• 参考スコア（独自算出の注目度）: 1.515687944002438
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We introduce a logic for reasoning about contextual trust for web addresses, provide a Kripke semantics for it, and prove its soundness under reasonable assumptions about principals' policies. Self-Authenticating Traditional Addresses (SATAs) are valid DNS addresses or URLs that are generally meaningful -- to both humans and web infrastructure -- and contain a commitment to a public key in the address itself. Trust in web addresses is currently established via domain name registration, TLS certificates, and other hierarchical elements of the internet infrastructure. SATAs support such structural roots of trust but also complementary contextual roots associated with descriptive properties. The existing structural roots leave web connections open to a variety of well-documented and significant hijack vulnerabilities. Contextual trust roots provide, among other things, stronger resistance to such vulnerabilities. We also consider labeled SATAs, which include descriptive properties such as that a SATA is an address for a news organization, a site belonging to a particular government or company, a site with information about a certain topic, etc. Our logic addresses both trust in the bound together identity of the address and trust in the binding of labels to it. Our logic allows reasoning about delegation of trust with respect to specified labels, relationships between labels that provide more or less specific information, and the interaction between these two aspects. In addition to soundness, we prove that if a principal trusts a particular identity (possibly with label), then either this trust is initially assumed, or there is a trust chain of delegations to this from initial trust assumptions. We also present an algorithm that effectively derives all possible trust statements from the set of initial trust assumptions and show it to be sound, complete, and terminating.
• Abstract（参考訳）: 我々は,Webアドレスに対する文脈的信頼を推論するための論理を導入し,Kripkeのセマンティクスを提供し,プリンシパルのポリシーに関する合理的な仮定の下でその健全性を証明した。 SATA(Self-Authenticating Traditional Addresss)は、人間とWebインフラストラクチャの両方で一般的に意味のあるDNSアドレスまたはURLであり、アドレス自体に公開キーへのコミットメントを含んでいる。 Webアドレスへの信頼は現在、ドメイン名登録、TLS証明書、その他のインターネットインフラストラクチャの階層的要素を通じて確立されている。 SATAはそのような構造的信頼の根を支持するが、記述的特性に関連する補完的な文脈的根もサポートする。 既存の構造的なルーツは、Web接続をさまざまなドキュメント化され、重要なハイジャック脆弱性に開放する。 コンテキスト信頼の根は、このような脆弱性に対する強い抵抗を提供する。 また、SATAはニュース組織の住所、特定の政府や企業に属するサイト、特定の話題に関する情報のあるサイトなど、記述的な特性を含むラベル付きSATAについても検討する。 私たちのロジックは、アドレスの結合したアイデンティティに対する信頼とラベルの結合に対する信頼の両方に対処します。 私たちの論理では、特定のラベルに対する信頼の委譲、多かれ少なかれ特定の情報を提供するラベル間の関係、これら2つの側面間の相互作用について推論することができます。 健全性に加えて、プリンシパルが特定のアイデンティティ(おそらくラベル)を信頼している場合、この信頼が最初に仮定されるか、または、最初の信頼前提からこれに対するデリゲートの信頼連鎖が存在することを証明します。 また、初期信頼前提の集合から可能なすべての信頼文を効果的に導き出し、それを健全で完全で終了することを示すアルゴリズムを提案する。

関連論文リスト

• On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials [39.4080639822574]
  認証資格は、物理的資格のデジタルアナログである。 検証者に提示して属性を明らかにしたり、クレデンシャルに含まれる属性を述語することも可能だ。 プレゼンテーション中にプライバシを保存する1つの方法は、クレデンシャル内の属性を選択的に開示することである。
  論文  参考訳（メタデータ） (2024-01-16T08:22:28Z)
• Scalable Multi-domain Trust Infrastructures for Segmented Networks [1.388092651233226]
  本稿では、信頼ドメインを定義するためのリーダーレスアプローチを作成する方法について概説する。 複数信頼ゾーンの定義にエドワーズ曲線デジタル署名アルゴリズムを適用することを提案する。
  論文  参考訳（メタデータ） (2023-10-07T19:24:09Z)
• Distributed Trust Through the Lens of Software Architecture [13.732161898452377]
  本稿では,複数の分野における分散信頼の概念について考察する。 信頼の再分配/シフトと、分散信頼技術によって実現されるシステムやアプリケーションにおける関連するトレードオフを見るには、システム/ソフトウェアアーキテクチャの観点から考える必要があります。
  論文  参考訳（メタデータ） (2023-05-25T06:53:18Z)
• Distrust in (X)AI -- Measurement Artifact or Distinct Construct? [0.0]
  信頼は説明可能な人工知能(XAI)を開発する上で重要な動機である XAIでは不信は比較的過小評価されているようだ。 心理学的証拠は 信頼と不信を区別する
  論文  参考訳（メタデータ） (2023-03-29T07:14:54Z)
• KGTrust: Evaluating Trustworthiness of SIoT via Knowledge Enhanced Graph Neural Networks [63.531790269009704]
  ソーシャル・インターネット・オブ・モノ(Social Internet of Things, SIoT)は、スマート・オブジェクト(物)にソーシャルネットワークの概念を注入する、有望で新興のパラダイムである。 リスクと不確実性のため、解決すべき重要かつ緊急の問題は、SIoT内で信頼性の高い関係、すなわち信頼評価を確立することである。 本稿では,SIoTにおける信頼度向上のための知識強化グラフニューラルネットワーク(KGTrust)を提案する。
  論文  参考訳（メタデータ） (2023-02-22T14:24:45Z)
• Unsupervised Domain Adaptation on Person Re-Identification via Dual-level Asymmetric Mutual Learning [108.86940401125649]
  本稿では,多種多様な埋め込み空間を持つより広い知識領域から識別的表現を学習するための,DAML(Dual-level Asymmetric Mutual Learning)を提案する。 2つのネットワーク間の知識伝達は、非対称な相互学習方式に基づいている。 Market-1501、CUHK-SYSU、MSMT17の公開データセットにおける実験は、最先端技術よりもDAMLの方が優れていることを証明した。
  論文  参考訳（メタデータ） (2023-01-29T12:36:17Z)
• Imitation Learning-based Implicit Semantic-aware Communication Networks: Multi-layer Representation and Collaborative Reasoning [68.63380306259742]
  有望な可能性にもかかわらず、セマンティック通信とセマンティック・アウェア・ネットワーキングはまだ初期段階にある。 本稿では,CDCとエッジサーバの複数層を連携させる,推論に基づく暗黙的セマンティック・アウェア通信ネットワークアーキテクチャを提案する。 暗黙的セマンティクスの階層構造と個人ユーザのパーソナライズされた推論嗜好を考慮に入れたセマンティクス情報の多層表現を提案する。
  論文  参考訳（メタデータ） (2022-10-28T13:26:08Z)
• Formalizing Trust in Artificial Intelligence: Prerequisites, Causes and Goals of Human Trust in AI [55.4046755826066]
  我々は、社会学の対人信頼(すなわち、人間の信頼)に着想を得た信頼のモデルについて議論する。 ユーザとAIの間の信頼は、暗黙的あるいは明示的な契約が保持する信頼である。 我々は、信頼できるAIの設計方法、信頼が浮かび上がったかどうか、保証されているかどうかを評価する方法について論じる。
  論文  参考訳（メタデータ） (2020-10-15T03:07:23Z)
• Where Does Trust Break Down? A Quantitative Trust Analysis of Deep Neural Networks via Trust Matrix and Conditional Trust Densities [94.65749466106664]
  本稿では,新しい信頼量化戦略である信頼行列の概念を紹介する。 信頼行列は、所定のアクター・オークル回答シナリオに対して期待される質問・回答信頼を定義する。 我々は、条件付き信頼密度の概念により、信頼密度の概念をさらに拡張する。
  論文  参考訳（メタデータ） (2020-09-30T14:33:43Z)
• How Much Can We Really Trust You? Towards Simple, Interpretable Trust Quantification Metrics for Deep Neural Networks [94.65749466106664]
  我々は思考実験を行い、信頼と信頼に関する2つの重要な疑問を探求する。 我々は、一連の質問に答える際の行動に基づいて、ディープニューラルネットワークの全体的な信頼性を評価するための一連のメトリクスを紹介します。 提案されたメトリクスは必ずしも完璧ではありませんが、よりよいメトリクスに向かって会話を推し進めることが望まれています。
  論文  参考訳（メタデータ） (2020-09-12T17:37:36Z)

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

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