論文の概要: What Must Be Done Here? Using a Bounded Application-Security Ontology at the Point of Change
- arxiv url: http://arxiv.org/abs/2611.01127v1
- Date: Sat, 31 Oct 2026 17:15:38 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-11-13 07:53:02.321673
- Title: What Must Be Done Here? Using a Bounded Application-Security Ontology at the Point of Change
- Title（参考訳）: ここですべきことは何か? 変化点における境界付きアプリケーションセキュリティオントロジーの利用
- Abstract要約: 本稿では,既存のアプリケーションセキュリティオントロジーであるAppSec Coreのユースケースについて述べる。
これにより、エンジニアリング対応可能な権限のごく一部を、タイプされたワーキングセットとして扱うことができる。
成果は実証された使用であり、成果物の検証とガバナンスは共同作業である。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The security guidance that bears on code is real but scattered. It lives across secure-development frameworks, verification standards, controls catalogues, threat taxonomies, and, increasingly, normative regimes such as the EU's NIS2 -- and most of it is written for readers other than the engineer, or the AI assistant, at a point of change. Existing cybersecurity ontologies largely model attacks, indicators, and risk for detection and analysis, not the engineering-practice substance one must act on. This paper presents a use case for an existing bounded application-security ontology, AppSec Core, whose construction and validation are reported separately. We show how it is used. It makes the engineering-actionable fraction of those authorities addressable as a typed working set: the control objectives that apply, the practices that realize them, the mechanisms that implement them, and the evidence artifacts they expect, each traceable to the sources that justify it. We reach that working set from two entry points that recur in practice. Forward, from a code change: a change to authentication middleware scopes to its governing domain slice and returns the obligations the change must satisfy. Inverse, from a normative obligation: "make this NIS2-compliant" resolves a generic legal duty into the concrete engineering obligations it implies across slices, surfacing precisely the fraction of a mostly-governance regulation that lands in code. The same working set is what a human engineer reads and what an LLM-grounded assistant is handed as grounding. The use turns "read every applicable authority" into "satisfy this typed working set", for a code change or a compliance duty alike. The contribution is the demonstrated use; the artefact, its validation, and its governance are companion work.
- Abstract（参考訳）: コードのセキュリティガイダンスは本物ですが,散らばっています。
安全開発フレームワーク、検証基準、カタログの制御、脅威分類、EUのNIS2のような規範的な体制にまたがっており、ほとんどはエンジニアやAIアシスタント以外の読者向けに変更点において書かれています。
既存のサイバーセキュリティオントロジーは、主に攻撃、指標、そして検出と分析のリスクをモデル化している。
本稿では,既存の有界アプリケーションセキュリティオントロジーであるAppSec Coreのユースケースについて述べる。
私たちはそれがどのように使われているかを示す。
それらは、適用するコントロール目標、それらを実現するためのプラクティス、それらを実装するメカニズム、そしてそれらが期待するエビデンスアーティファクトであり、それぞれがそれを正当化するソースにトレース可能である。
私たちはその作業セットを、実際に再帰する2つのエントリポイントから到達します。
コードの変更: ミドルウェアスコープの認証から管理ドメインスライスへの変更、変更が満たさなければならない義務の返却。
逆に、"このNIS2準拠を作れ"という規範的な義務は、スライスにまたがって意味する具体的なエンジニアリング義務に対して、一般的な法的義務を解決します。
同じ作業セットは、人間のエンジニアが読んだものと、LLMで座ったアシスタントがグラウンドとして渡されるものと同じです。
この使用法は、コードの変更やコンプライアンス義務と同様に、"すべての適用可能な権限"を"この型付けされた作業セットを満たす"ものにします。
成果,成果,検証,ガバナンスは共同作業である。
関連論文リスト
- A Black Box for Agentic Processes: Blockchain-Anchored Evidence for AI Agent Communication, Human Oversight, and GRC Audits [0.0]
2026年のOpenAI/Hugging Faceインシデントに触発されたこのポジションとアーキテクチャ論文は、エージェントプロセスのための製品とベンダー中立のブラックボックスアーキテクチャを提案する。
アーキテクチャは、選択されたエージェント通信、ヒューマン・イン・ザ・ループの承認、ツールコール、およびプロセスアーティファクトに対して、機密性の高いコンテンツをチェーン上に配置することなく、ブロックチェーンで暗号化されたコミットメントを生成する。
論文 参考訳（メタデータ） (2026-09-03T15:55:39Z) - The Missing Layer: Specification Infrastructure for AI Oversight [2.587194279527956]
エージェントシステムを構築するすべてのチームは、独自の監査スキーマ、ポリシ方言、監視スタック、エスカレーションパスを構築します。
5つの技術レイヤ(レギュラビリティ、仕様、メディエーション、評価、エスカレーション)は、アライメント、堅牢性、敵防衛、セキュリティ、ガバナンス、説明責任の6つにまたがっている。
本稿では,レイヤ2の設計原則を6つ提案する。
論文 参考訳（メタデータ） (2026-07-26T18:12:41Z) - Specifying the Delegated-Autonomy Boundary: Requirements Engineering for Agentic AI [5.421928928336395]
エージェントAIシステムは、さまざまな自律性を持つ外部環境を計画し、状態を維持し、行動する。
現在のプラクティスでは、要求レベルのコミットメントであっても、プロンプトやツールスキーマ、ランタイムポリシにこれらの決定を埋めています。
本稿では,エージェンシー・ジャストフィケーション・レコードとエージェント・デリゲーション・ポリシーの2つの補完的アーティファクトを提案する。
論文 参考訳（メタデータ） (2026-07-19T12:27:39Z) - Harness Handbook: Making Evolving Agent Harnesses Readable,Navigable, and Editable [46.2784020602283]
本稿ではハーネスから自動的に合成された行動コンテキスト中心の表現であるHarness Handbookを紹介する。
また,BGPD(Behaviment-Guided Progressive Disclosure)についても紹介する。
2つのオープンソースハーネスからの多様な修正要求に対して、ハンドブック支援プランニングは、振る舞いのローカライゼーションと編集計画の品質を改善している。
論文 参考訳（メタデータ） (2026-07-14T21:39:55Z) - From Prompts to Contracts: Harness Engineering for Auditable Enterprise LLM Agents [0.24554686192257424]
製品化は、ソースバウンダリ、エンティティルーティング、回答コントラクト、再現可能なトレースの要件を追加します。
本稿では,このパターンをトレース可能な監査可能なLLMエージェントアーキテクチャに再構成するハーネスエンジニアリング手法を提案する。
韓国の5つの企業グループの公開データスライスでインスタンス化し、3つの研究課題を評価する。
論文 参考訳（メタデータ） (2026-07-09T01:08:33Z) - Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering [40.048798975817924]
バイブコーディングは高速で、低臨界のコンシューマソフトウェアには適しています。
DO-178C、IEC 61508、ISO 26262によって管理される安全クリティカルなシステムでは、認証への道は提供されない。
フォーマルな検証を通じてビブコーディングをガイドするクローズドループパイプラインであるForgeを紹介します。
論文 参考訳（メタデータ） (2026-06-21T10:01:45Z) - Code-Augur: Agentic Vulnerability Detection via Specification Inference [8.217845898392293]
自律的なLLMエージェントによる監査が、ソフトウェアの重大な脆弱性を明らかにしている。
本稿では,エージェントの暗黙的な仮定をセキュリティ仕様として明示的に公開する,セキュリティ仕様優先のパラダイムを提案する。
エージェント脆弱性検出のための新しいハーネスであるCode-Augurにおける我々のアプローチを実現する。
論文 参考訳（メタデータ） (2026-06-17T02:32:45Z) - VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents [57.240036084348354]
本稿では,ロボットスキルコントラクトの検証誘導自己進化のためのフレームワークであるVASOを紹介する。
VASOは論理的に一貫性のないスキル契約を検証し、グローバルおよびローカルな時間的仕様に対してスキルによって誘発される計画を検証する。
Clearpath Jackal と PX4 のクアッドコプタータスクでは、VASO は100点未満の最適化サンプルを使用して97.2% の形式的な仕様準拠に達した。
論文 参考訳（メタデータ） (2026-06-03T20:02:35Z) - Safe and Certifiable AI Systems: Concepts, Challenges, and Lessons Learned [45.44933002008943]
この白書は、T"UV AUSTRIA Trusted AIフレームワークを提示する。
エンド・ツー・エンドの監査カタログであり、機械学習システムの評価と認定のための方法論である。
セキュアなソフトウェア開発、機能要件、倫理とデータプライバシという3つの柱の上に構築されているのは、EU AI Actの高レベルの義務を、特定かつテスト可能な基準に翻訳するものです。
論文 参考訳（メタデータ） (2025-09-08T17:52:08Z) - Towards Copyright Protection for Knowledge Bases of Retrieval-augmented Language Models via Reasoning [58.57194301645823]
大規模言語モデル(LLM)は、現実のパーソナライズされたアプリケーションにますます統合されている。
RAGで使用される知識基盤の貴重かつしばしばプロプライエタリな性質は、敵による不正使用のリスクをもたらす。
これらの知識基盤を保護するための透かし技術として一般化できる既存の方法は、一般的に毒やバックドア攻撃を含む。
我々は、無害な」知識基盤の著作権保護の名称を提案する。
論文 参考訳（メタデータ） (2025-02-10T09:15:56Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。