HOMELv019 「属性交換ネットワーク（AXN）」の主な役割として適切なものはどれか。 2026年3月5日 AXNは、さまざまなソースからのIDや属性情報（年齢、資格、信用スコア等）を、サービス事業者が利用しやすい形に仲介・流通させるエコシステムまたはプラットフォームである。 CPUの投機的実行（Speculative Execution）機能を悪用し、キャッシュのタイミング差異を観測することで、本来アクセス権のないメモリ領域の内容を推測するサイドチャネル攻撃の代表例はどれか。 スマートコントラクトなどの高保証が求められるソフトウェアにおいて、数学的な手法を用いてプログラムの仕様と実装が一致していることを厳密に証明する技術はどれか。
