論文の概要: Access Hoare Logic

• arxiv url: http://arxiv.org/abs/2511.01754v1
• Date: Mon, 03 Nov 2025 17:04:49 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-11-05 16:37:27.341013
• Title: Access Hoare Logic
• Title（参考訳）: Access Hoare Logic
• Authors: Arnold Beckmann, Anton Setzer,
• Abstract要約: 我々は、アクセス制御などのコンピュータプログラムのアクセスセキュリティについて、関連性はあるが根本的に異なるアプローチを提唱する。 我々は,Hoare 論理へのアクセスを示す形式主義を定義し,その有用性と Hoare 論理の基本的な相違を示す実例を示す。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Following Hoare's seminal invention, later called Hoare logic, to reason about correctness of computer programs, we advocate a related but fundamentally different approach to reason about access security of computer programs such as access control. We define the formalism, which we denote access Hoare logic, and present examples which demonstrate its usefulness and fundamental difference to Hoare logic. We prove soundness and completeness of access Hoare logic, and provide a link between access Hoare logic and standard Hoare logic.
• Abstract（参考訳）: コンピュータプログラムの正当性を推論するために、後にホーア論理と呼ばれるフーアの独創的な発明に続いて、我々はアクセス制御のようなコンピュータプログラムのアクセスセキュリティを推論する、関連性はあるが根本的に異なるアプローチを提唱する。 我々は,Hoare 論理へのアクセスを示す形式主義を定義し,その有用性と Hoare 論理の基本的な相違を示す実例を示す。 我々は,アクセスホア論理の健全性と完全性を証明し,アクセスホア論理と標準ホア論理のリンクを提供する。

関連論文リスト

• A Reduction of Input/Output Logics to SAT [51.82266520875928]
  デオン論理(Deontic logic)は、規範、義務、許可、禁止について推論するための形式主義である。 本稿では,I/O論理の自動化手法を提案する。
  論文  参考訳（メタデータ） (2025-08-22T09:22:26Z)
• Faithful Logic Embeddings in HOL -- Deep and Shallow [0.0]
  本稿では,古典的高次論理学における深層・浅層埋め込みの同時展開法を提案する。 この手法は論理学の教育、研究、応用に有用であり、ここでは単純な命題のモーダル論理を用いて説明される。
  論文  参考訳（メタデータ） (2025-02-26T17:08:07Z)
• Complete Quantum Relational Hoare Logics from Optimal Transport Duality [10.178285424205953]
  量子プログラムに対する量的リレーショナル・ホア論理を導入する。 我々の論理は健全であり、有界な後条件とほぼ確実に終了するプログラムに対して完備であることを示す。
  論文  参考訳（メタデータ） (2025-01-25T15:01:25Z)
• Empower Nested Boolean Logic via Self-Supervised Curriculum Learning [67.46052028752327]
  大規模言語モデルを含む事前学習された言語モデルは、多言語論理に直面するランダムセレクタのように振る舞う。 この基本的能力で言語モデルを強化するために,本稿では,新たな自己教師付き学習手法であるtextitCurriculum Logical Reasoning (textscClr) を提案する。
  論文  参考訳（メタデータ） (2023-10-09T06:54:02Z)
• Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
  パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。 ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
  論文  参考訳（メタデータ） (2022-07-04T14:38:49Z)
• Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective [1.160208922584163]
  順序ディジャンクション付き論理プログラム (LPOD) は古典論理プログラムを拡張し、優先ディジャンクションを表現できる。 本稿では,4値論理の論理等価性としてLPODの強い等価性を純粋に論理的に評価する。 LPODに対する強同値のcoNP完全性の新たな証明を提供するが、これはプログラムの特別な構造に依存しているため、それ自体が興味を持つ。
  論文  参考訳（メタデータ） (2022-05-10T13:33:32Z)
• Logical blocks for fault-tolerant topological quantum computation [55.41644538483948]
  本稿では,プラットフォームに依存しない論理ゲート定義の必要性から,普遍的なフォールトトレラント論理の枠組みを提案する。 資源オーバーヘッドを改善するユニバーサル論理の新しいスキームについて検討する。 境界のない計算に好適な論理誤差率を動機として,新しい計算手法を提案する。
  論文  参考訳（メタデータ） (2021-12-22T19:00:03Z)
• New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework [0.0]
  古典的な高階論理へのデオン論理のセマンティック埋め込みに基づくLogiKEy手法を提案する。 代数的アプローチを用いて,LogiKEyデオン論理とデータセットを大幅に拡張する。
  論文  参考訳（メタデータ） (2021-07-25T16:33:07Z)
• Quantum Hoare logic with classical variables [3.1181601933418897]
  古典変数と量子変数の両方を含む簡単な時相言語に対して量子ホア論理を提案する。 古典量子状態とそれに対応するアサーションの新たな定義により、論理体系は非常に単純であり、古典的プログラムの伝統的なホア論理と類似している。
  論文  参考訳（メタデータ） (2020-08-15T23:56:18Z)

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

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