@techreport{oai:ipsj.ixsq.nii.ac.jp:02008294,
 author = {吉田,憲礼 and 松見,湧斗 and 内山,一秀 and 中條,拓伯 and 五島,正裕},
 issue = {7},
 month = {Mar},
 note = {既存のTrusted Execution Environment (TEE)では，各ベンダが，そのプラットフォームの典型的な要求・脅威モデルに合わせて，個々別々の保護モデルを提供している．そこで我々は，単一・柔軟・形式的にセキュアなユニバーサルTEEアーキテクチャ(UTA)の実現を目指している．UTAのページングでは，ページの機密性とリプレイ耐性を含めた完全性などを要件とする．本稿では，リプレイ耐性を持つページングのための，Parallelizable Authentication Tree (PAT)をベースとした，ページテーブルと対になる認証木について述べる．},
 title = {リプレイ耐性を持つページングのためのページテーブルと対となる認証木},
 year = {2026}
}