論文の概要: Evidential Transactions with Cyberlogic
- arxiv url: http://arxiv.org/abs/2304.00060v1
- Date: Mon, 20 Mar 2023 10:18:43 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-16 22:41:02.162935
- Title: Evidential Transactions with Cyberlogic
- Title(参考訳): サイバーロジックによる証拠取引
- Authors: Harald Ruess and Natarajan Shankar
- Abstract要約: Cyberlogicは、デジタルトランザクションの構築と分析のための論理的基盤である。
1)公開鍵は認証に対応し,(2)トランザクションは分散論理プログラムとして指定され,(3)検証された証拠は分散証明探索によって収集される。
- 参考スコア(独自算出の注目度): 0.6091702876917281
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Cyberlogic is an enabling logical foundation for building and analyzing
digital transactions that involve the exchange of digital forms of evidence. It
is based on an extension of (first-order) intuitionistic predicate logic with
an attestation and a knowledge modality. The key ideas underlying Cyberlogic
are extremely simple, as (1) public keys correspond to authorizations, (2)
transactions are specified as distributed logic programs, and (3) verifiable
evidence is collected by means of distributed proof search. Verifiable
evidence, in particular, are constructed from extra-logical elements such as
signed documents and cryptographic signatures. Despite this conceptual
simplicity of Cyberlogic, central features of authorization policies including
trust, delegation, and revocation of authority are definable. An expressive
temporal-epistemic logic for specifying distributed authorization policies and
protocols is therefore definable in Cyberlogic using a trusted time source. We
describe the distributed execution of Cyberlogic programs based on the
hereditary Harrop fragment in terms of distributed proof search, and we
illustrate some fundamental issues in the distributed construction of
certificates. The main principles of encoding and executing cryptographic
protocols in Cyberlogic are demonstrated. Finally, a functional encryption
scheme is proposed for checking certificates of evidential transactions when
policies are kept private.
- Abstract(参考訳): cyberlogicは、デジタル形式の証拠の交換を伴うデジタルトランザクションを構築し、分析するための論理的な基盤である。
これは(一階述語)直観主義述語論理の拡張と証明と知識のモダリティに基づいている。
1)公開鍵は認可に対応し、(2)トランザクションは分散論理プログラムとして指定され、(3)検証可能な証拠は分散証明探索によって収集される。
特に検証可能な証拠は、署名された文書や暗号署名のような論理的要素から作られる。
サイバーロジックの概念的な単純さにもかかわらず、信頼、委任、権限の取消を含む認可ポリシーの中心的な特徴は定義可能である。
したがって、分散認証ポリシーとプロトコルを指定するための表現力のある時相論理は、信頼できる時間源を用いてCyberlogicで定義できる。
本稿では,Harropフラグメントに基づくCyberlogicプログラムの分散実行を,分散証明探索の観点から記述し,証明書の分散構築における基本的な問題点について述べる。
暗号プロトコルをCyberlogicでエンコードおよび実行する主な原則が示されている。
最後に、ポリシーを非公開にしておくと、明らかなトランザクションの証明書をチェックするための機能暗号化方式を提案する。
関連論文リスト
- On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials [39.4080639822574]
認証資格は、物理的資格のデジタルアナログである。
検証者に提示して属性を明らかにしたり、クレデンシャルに含まれる属性を述語することも可能だ。
プレゼンテーション中にプライバシを保存する1つの方法は、クレデンシャル内の属性を選択的に開示することである。
論文 参考訳(メタデータ) (2024-01-16T08:22:28Z) - An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳(メタデータ) (2023-12-08T09:32:26Z) - LpiCT: A logic security analysis framework for protocols [1.4852249222037588]
本稿では,論理規則と証明,バイナリツリー,KMPアルゴリズムを導入し,論理セキュリティ解析フレームワークとアルゴリズムを新たに拡張する。
実験結果から,新たな拡張理論,論理セキュリティ分析フレームワーク,アルゴリズムが,暗号プロトコルの設計と実装に論理的欠陥があるかどうかを効果的に解析できることが示唆された。
論文 参考訳(メタデータ) (2023-11-01T12:06:47Z) - Logic-induced Diagnostic Reasoning for Semi-supervised Semantic
Segmentation [85.12429517510311]
LogicDiagは、セマンティックセグメンテーションのためのニューラルネットワークによる半教師付き学習フレームワークである。
私たちの重要な洞察は、記号的知識によって識別される擬似ラベル内の衝突は、強いが一般的に無視される学習信号として機能する、ということです。
本稿では,論理規則の集合として意味論的概念の構造的抽象化を定式化するデータ・ハングリーセグメンテーションシナリオにおけるLogicDiagの実践的応用について紹介する。
論文 参考訳(メタデータ) (2023-08-24T06:50:07Z) - CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model [8.838422697156195]
我々はCryptoVampire暗号プロトコル検証を初めて導入し、BC論理におけるトレース特性の証明を完全に自動化した。
主要な技術的貢献は、プロトコルプロパティの1次(FO)形式化と、サブターム関係の調整されたハンドリングである。
理論面では、全FO論理を暗号公理で制限し、HO BC論理の表現性を失うことにより、音質を損なわないことを保証する。
論文 参考訳(メタデータ) (2023-05-20T11:26:51Z) - Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文)
論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。
ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文 参考訳(メタデータ) (2022-07-04T14:38:49Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳(メタデータ) (2021-10-18T10:45:59Z) - Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。
本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文 参考訳(メタデータ) (2021-09-25T00:00:47Z) - Logic-Driven Context Extension and Data Augmentation for Logical
Reasoning of Text [65.24325614642223]
論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。
このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。
本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
論文 参考訳(メタデータ) (2021-05-08T10:09:36Z) - Modelling Value-oriented Legal Reasoning in LogiKEy [0.0]
LogiKEyは、対話的かつ自動化された定理証明技術を利用して、法的ドメイン固有言語や理論の開発と形式的検証を行うためのテストベッドを提供する。
我々は、知識表現における最新の研究と、非古典論理学における推論、自動定理証明、および法的推論における応用の間の新しい橋渡しを確立する。
論文 参考訳(メタデータ) (2020-06-23T06:57:15Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。