Saltar al contenido

Verification of the Dynamic Authorization Protocol

Guardado en:
Detalles Bibliográficos
Autor principal: Oliveira, Felipe Rodopoulos de
Fecha de Publicación: 2019
Formato: Master thesis
Lenguaje: eng
Fuente: Repositório Institucional da UnB
Download full: https://repositorio.unb.br/handle/10482/37764
Sumario: Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2019.