publicações Optimization of p-cycle protection schemes in optical networks Documento Towards a formal definition of security for quantum protocols Documento