Las recientes brechas de seguridad muestran la necesidad de asegurar sistemas grandes, distribuidos y complejos. Un aspecto fundamental, pero poco discutido, de la seguridad es cómo evaluar cuándo un sistema completo es seguro. Los métodos puramente formales no pueden manejar este nivel de complejidad. La verificación de código no considera la interacción de módulos separados que trabajan juntos y es difícil de escalar. Los enfoques basados en modelos, como patrones y marcos de problemas, pueden ser efectivos para manejar sistemas grandes. Su uso en la evaluación de la seguridad parece prometedor. Existen algunos trabajos en esta dirección, pero hay una necesidad de más ideas. Este Número Especial se centra en métodos de evaluación globales, basados en modelos, arquitectónicos y orientados a sistemas.