Carreiras, Helena, Instituto da Defensa Nacional, Portugal