Verification of the Dynamic Authorization Protocol
Furkejuvvon:
| Váldodahkki: | |
|---|---|
| Almmustuhttinbeaivi: | 2019 |
| Materiálatiipa: | Master thesis |
| Giella: | eng |
| Gáldu: | Repositório Institucional da UnB |
| Download full: | https://repositorio.unb.br/handle/10482/37764 |
Čoahkkáigeassu: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2019. |
Lasit vuosttaš kommeantta. Visot kommeanttat leat almmolaččat.!