Update security_models.tex