Siirry sisältöön

Verification of the Dynamic Authorization Protocol

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Oliveira, Felipe Rodopoulos de
Julkaisupäivä: 2019
Aineistotyyppi: Master thesis
Kieli: eng
Lähde: Repositório Institucional da UnB
Download full: https://repositorio.unb.br/handle/10482/37764
Yhteenveto: Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2019.