Verification of the Dynamic Authorization Protocol
Spremljeno u:
| Glavni autor: | |
|---|---|
| Datum izdanja: | 2019 |
| Format: | Master thesis |
| Jezik: | eng |
| Izvor: | Repositório Institucional da UnB |
| Download full: | https://repositorio.unb.br/handle/10482/37764 |
Sažetak: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2019. |
Budi prvi tko komentira!
