Verification of the Dynamic Authorization Protocol

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