Un servidor de aplicaciones MLS : especificación y verificación de propiedades de seguridad - Valente, Abel (2003)