English
Español
Français
Deutsch
日本語
한국어
العربية変更セットを介して CloudFormation のスタックロールを乗っ取る
スタックに対して、その既存のサービスロールとして悪意のある変更セットを実行できます。
組み合わせた場合にのみ権限昇格を付与します。これらすべてが同時に必要です。
cloudformation:CreateChangeSetcloudformation:ExecuteChangeSetcloudformation:ExecuteChangeSet は、既存のサービスロールとしてスタック上で悪意のある変更セットを実行できますが、cloudformation:CreateChangeSet と併せ持ったときにのみ可能です。併せ持つと管理者権限に到達します。
なぜ危険なのか
プリンシパルは、すでにサービスロールを持つ既存の CloudFormation スタックに対して cloudformation:CreateChangeSet と cloudformation:ExecuteChangeSet を呼び出せます。変更したテンプレートを変更セットとしてステージングし実行することで、プリンシパルは CloudFormation に攻撃者の変更をターゲットロールを使って適用させます。ターゲットロールがすでにスタックにバインドされているため、iam:PassRole は不要です。特権的なサービスロールであれば、攻撃者のテンプレートは管理者リソースをプロビジョニングでき、すでに信頼されていたスタックに対する完全な権限昇格となります。
MITRE ATT&CK では、これは権限昇格戦術の T1578 (クラウドコンピュートインフラの改変) に対応します。AWS はこれを CloudTrail に CreateChangeSet, ExecuteChangeSet として記録します。この呼び出しは CloudTrail に記録されますが、通常の管理操作に紛れるため、目立たせるにはルールが必要です。
検知
CreateChangeSetExecuteChangeSet前提条件
サービスロールがアタッチされた既存のスタック。それに対して変更セットを作成し実行する権限。
MITRE ATT&CK
T1578 · クラウドコンピューティングインフラの改変戦術
権限昇格
これを取り除くコントロール: 特権的なサービスロールを持つスタックに対する cloudformation:CreateChangeSet/ExecuteChangeSet を制限します。
適用するかどうかは、その権限が環境内でどう使われているかによるため、自動的な修正ではなくビジネス上の判断となります。同じ権限でも、あるアカウントでは不可欠であり、別のアカウントでは純粋なリスクとなることがあります。
Pathbreak は、この経路がお客様のアカウントで成立するかどうかを確認し、どれだけ侵入口を広げるかで他の経路と比較して順位付けし、お客様の脅威モデルとビジネス上の背景を用いて、断ち切る価値のある経路を示します。
質問
cloudformation:ExecuteChangeSet は何を可能にしますか。
スタックに対して、その既存のサービスロールとして悪意のある変更セットを実行できます。
cloudformation:ExecuteChangeSet が危険になるには他に何が必要ですか。
cloudformation:CreateChangeSet と併せ持ったときにのみ権限昇格となります。単独では不十分であり、その点がこの組み合わせを見落としやすくしています。
変更セットを介した CloudFormation スタックロールの乗っ取りはどのように検知されますか。
CloudTrail で CreateChangeSet, ExecuteChangeSet を監視します。この呼び出しは CloudTrail に記録されますが、通常の管理操作に紛れるため、目立たせるにはルールが必要です。
この経路はどうやって断ち切りますか。
これを取り除くコントロールの一例は次のとおりです。特権的なサービスロールを持つスタックに対する cloudformation:CreateChangeSet/ExecuteChangeSet を制限します。適用するかどうかは、その権限がアカウント内でどう使われているかによるため、自動的な修正ではなくビジネス上の判断となります。
これはどの MITRE ATT&CK テクニックですか。
T1578、クラウドコンピューティングインフラの改変、権限昇格戦術に該当します。
関連する経路
参考資料
これを自分のアカウントで見つける
1 つの AWS アカウントに対して読み取り専用のスキャンを実行し、これらの経路のうちどれが存在するかを、影響範囲の順に、それぞれを断ち切る変更とともにお見せします。最初の検証済み経路は 1 時間以内に得られます。