無線LANのセキュリティにおいて、WEPの脆弱性（IVの再利用）を根本的に解決するためにWPA2で導入された、パケットごとにユニークな鍵を生成するプロトコルはどれか。

セキュリティモデル「Clark-Wilsonモデル」において、ユーザーが直接データを操作することを禁止し、必ずプログラム（TP）を介してアクセスさせる概念を何というか。