公開鍵基盤（PKI）において、デジタル証明書の有効性をリアルタイムで確認するためのプロトコルはどれか。

仮想化技術において、ホストOSを必要とせず、ハードウェア上で直接動作するハイパーバイザー（ベアメタル型）はどれか。