Diseño de sistemas y aplicaciones de alta seguridad encaminados a cumplir con referencias especificas