Gabinete Nacional de Segurança certifica plataforma Samsung Knox com apoio da Universidade do Porto