A rigorous analysis of how probabilistic reasoning in generative models shapes security risk, failure modes, and robustness.