Verification of the Dynamic Authorization Protocol

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Oliveira, Felipe Rodopoulos de
Publication Date: 2019
Format: Master thesis
Jezik: eng
Source: Repositório Institucional da UnB
Download full: https://repositorio.unb.br/handle/10482/37764
Izvleček: Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2019.

Podobne knjige/članki: Verification of the Dynamic Authorization Protocol