Multi-Model Run-Time Security Analysis