Verification of the Dynamic Authorization Protocol
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Publicatiedatum: | 2019 |
| Formaat: | Master thesis |
| Taal: | eng |
| Bron: | Repositório Institucional da UnB |
| Download full: | https://repositorio.unb.br/handle/10482/37764 |
Samenvatting: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2019. |
Wees de eerste die reageert!