論文の概要: TPMSpy: Validation of Measured Boot Systems by Low-Level Tracing of TPM Usage
- arxiv url: http://arxiv.org/abs/2609.05011v1
- Date: Fri, 04 Sep 2026 11:23:19 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-07 18:15:24.019658
- Title: TPMSpy: Validation of Measured Boot Systems by Low-Level Tracing of TPM Usage
- Title（参考訳）: TPMSpy:TPM使用量の低レベル追跡による計測ブースシステムの検証
- Abstract要約: Measured Bootは、実行されたソフトウェアとシステム状態の暗号化測定をTrusted Platform Module (TPM)に記録することでブートシステムへの信頼を拡大する
システム-TPM相互作用のレベルでの低レベルTPM使用量を分析するためのプラットフォームに依存しない手法を提案する。
実装の詳細に依存しないので、オープンシステムとクローズドシステムの両方に適用できる。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Measured Boot extends trust in a booted system by recording cryptographic measurements of executed software and system state into a Trusted Platform Module (TPM), enabling subsequent verification through remote attestation. Although this mechanism is increasingly deployed in contemporary operating systems, its practical security depends on whether implementations measure the expected components under the expected conditions, yet this is not checked systematically. We propose a platform-agnostic method for analysing low-level TPM usage at the level of virtualized system--TPM interactions. It enables independent reconstruction and validation of the TPM Event Log without relying on the quoting mechanism itself. Because it does not depend on implementation details, it is applicable to both open and closed systems. We demonstrate the method on both Linux and Windows and conduct a systematic longitudinal analysis of Linux systems with systemd versions 245--258 (2020--2025), examining how Measured Boot usage evolved and observing wide divergence. No single usage pattern emerged amongst systems, warranting customized analysis. The analysis identifies undocumented behavioural changes, reveals inconsistent measurements of user-space systemd services, which prevent reliable remote attestation and LUKS disk decryption on such systems.
- Abstract（参考訳）: Measured Bootは、実行されたソフトウェアとシステム状態の暗号化測定をTrusted Platform Module (TPM)に記録することにより、ブートされたシステムの信頼性を拡張し、リモートアテストによるその後の検証を可能にする。
このメカニズムは、現代のオペレーティングシステムにますます導入されているが、実際のセキュリティは、実装が期待される条件下で期待されるコンポーネントを計測するかどうかに依存するが、体系的にはチェックされない。
我々は,仮想システム-TPMインタラクションのレベルでの低レベルTPM利用の分析を行うプラットフォーム非依存の手法を提案する。この方法は,引用機構自体に依存することなく,TPMイベントログの独立再構築と検証を可能にする。実装の詳細によらず,オープンシステムとクローズドシステムの両方に適用可能である。本手法はLinuxとWindowsの両方で,システム化されたバージョン245--258(2020-2025)を用いて,Linuxシステムの体系的縦断解析を行い,Boot利用の進化と広範性の観察について検討する。
システムに単一の利用パターンが出現せず、カスタマイズされた分析が保証された。
この分析は、文書化されていない振る舞いの変化を特定し、ユーザ空間のシステム化されたサービスの一貫性のない測定結果を明らかにし、そのようなシステムにおける信頼性の高いリモート検査とLUKSディスクの復号を防止する。
関連論文リスト
- Terminal Agents: A Survey of AI Agents in Command-Line Environments [102.48222742145474]
大規模言語モデルエージェントは、ターミナルを通してますます行動するが、既存の調査は、ソフトウェア工学、ツールの使用、コンピュータ利用の研究にまたがって端末による振る舞いを分散させている。
我々は,端末エージェントを,端末コマンドの実行,テキストフィードバック,ステートフルな環境相互作用を介し,進行を伴う動作を主とするシステムとみなす。
我々の合成は、実現された行動はモデル、インターフェース、ハーネス、ランタイム、環境によって共同で形成されていることを示している。
論文 参考訳（メタデータ） (2026-08-20T18:16:44Z) - PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。
セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。
SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。
ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
論文 参考訳（メタデータ） (2026-07-18T04:46:53Z) - SHIELDS: Automating OS Hardening with Iterative Multi-Agent Remediation [0.0]
大規模言語モデル(LLM)を用いて,OSのハードニングを反復的フィードバック駆動プロセスとしてアプローチするマルチエージェントシステムShielDSを紹介する。
我々は,20Bから400Bパラメータの6つの現代のLCMを用いて,複数の仮想マシン構成にまたがるシステム評価を行い,ShiELDSがスキャン結果の最大73%を再現できることを確認した。
論文 参考訳（メタデータ） (2026-06-03T21:54:43Z) - Monitoring Data-aware Temporal Properties (Extended Version) [56.386411908764494]
有限トレース上の任意のSMT理論に富む線形時間特性の予測モニタリングについて考察する。
この設定での予測モニタリングは非常に困難であり、監視状態はこれまでのトレースプレフィックスと可能な有限継続の両方に依存している。
本研究は,表現的フラグメントオフMTにおける特性モニタリングのための新しい基礎的枠組みの正しさを提示し,正式に証明するものである。
論文 参考訳（メタデータ） (2026-05-14T10:23:11Z) - Detecting Object Tracking Failure via Sequential Hypothesis Testing [80.7891291021747]
ビデオにおけるリアルタイムのオンラインオブジェクト追跡は、コンピュータビジョンにおける中核的なタスクである。
本稿では,物体追跡を逐次的仮説テストとして解釈することを提案する。
本研究では,地中追跡情報と内部追跡情報の両方を活用することにより,教師なしと教師なしの両方の変種を提案する。
論文 参考訳（メタデータ） (2026-02-13T14:57:15Z) - PIDSMaker: Building and Evaluating Provenance-based Intrusion Detection Systems [0.5830619388189558]
PIDSMakerは、一貫した視覚化プロトコルの下でPIDSを開発し評価するためのオープンソースのフレームワークである。
最先端の8つのシステムを、標準化された事前処理と基盤トラストラベルを備えたモジュラーアーキテクチャに統合する。
YAMLベースの設定インターフェースは、コード変更なしにシステム間でコンポーネントを構成することで、迅速なプロトタイピングをサポートする。
論文 参考訳（メタデータ） (2026-01-30T13:45:33Z) - Ensemble Method for System Failure Detection Using Large-Scale Telemetry Data [0.0]
本研究では,システム故障検出のためのアンサンブル手法を提案する。
提案手法では,Long Short-Term Memory (LSTM) ネットワーク,アイソレーションフォレスト,ワンクラスサポートベクターマシン (OCSVM) ,ローカル・オブリアー因子 (LOF) など,多様なアルゴリズムを統合する。
実験により,本モデルの顕著な有効性を示し,システム障害の同定に顕著な検出率を達成した。
論文 参考訳（メタデータ） (2024-06-07T06:35:17Z) - BELLS: A Framework Towards Future Proof Benchmarks for the Evaluation of LLM Safeguards [43.86118338226387]
LLMセーフガード評価ベンチマーク(BELLS)について紹介する。
BELLSは構造化されたテストのコレクションで、確立された障害テスト、新しい障害テスト、次世代アーキテクチャテストの3つのカテゴリに分けられる。
私たちは、データセットのインタラクティブな可視化とともに、MACHIAVELLI環境を使用して、最初の次世代アーキテクチャテストを実装し、共有します。
論文 参考訳（メタデータ） (2024-06-03T14:32:30Z) - Fight Hardware with Hardware: System-wide Detection and Mitigation of Side-Channel Attacks using Performance Counters [45.493130647468675]
キャッシュベースのサイドチャネル攻撃を悪用しようとする悪意のあるアプリケーションをシステム全体で検出するカーネルレベルのインフラを提案する。
このインフラストラクチャは、マシン上で動作するすべてのアプリケーションから実行時に情報を集めるために、ハードウェアパフォーマンスカウンタに依存している。
これらの測定から高レベルの検出指標が導出され、悪意のあるアプリケーションを迅速に検出する可能性の最大化が図られる。
論文 参考訳（メタデータ） (2024-02-18T15:45:38Z) - Interactive System-wise Anomaly Detection [66.3766756452743]
異常検出は様々なアプリケーションにおいて基本的な役割を果たす。
既存のメソッドでは、インスタンスがデータとして容易に観察できないシステムであるシナリオを扱うのが難しい。
システム埋め込みを学習するエンコーダデコーダモジュールを含むエンドツーエンドアプローチを開発する。
論文 参考訳（メタデータ） (2023-04-21T02:20:24Z) - syslrn: Learning What to Monitor for Efficient Anomaly Detection [3.071931695335886]
syslrnは、まずターゲットシステムの理解をオフラインで構築し、学習した通常の振る舞いの識別子に基づいてオンライン監視機器を調整するシステムである。
本稿では,障害のモニタリングを行うケーススタディにおいて,オーバーヘッドが少なく,最先端のログ分析システムより優れていることを示す。
論文 参考訳（メタデータ） (2022-03-29T08:10:06Z) - Fingerprint recognition with embedded presentation attacks detection:
are we ready? [6.0168714922994075]
セキュリティアプリケーションのための指紋認証システムの拡散は,ソフトウェアベースのプレゼンテーション攻撃アルゴリズム(PAD)をそのようなシステムに組み込むことを急ぐ。
現在の研究では、指紋認証システムに組み込む際の有効性についてはあまり言及されていない。
本稿では,PADと検証段階を逐次実施する場合の2つの個別システムの受信者動作特性(ROC)の関係を確率論的にモデル化した性能シミュレータを提案する。
論文 参考訳（メタデータ） (2021-10-20T13:53:16Z) - SMT-based Safety Verification of Parameterised Multi-Agent Systems [78.04236259129524]
パラメータ化マルチエージェントシステム(MAS)の検証について検討する。
特に、与えられた状態公式として特徴づけられる不要な状態が、所定のMASで到達可能かどうかについて検討する。
論文 参考訳（メタデータ） (2020-08-11T15:24:05Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。