Formal Models and Convergence Analysis for Context-Aware Security Verification