コンテンツを見る

Verification of the Dynamic Authorization Protocol

保存先:
書誌詳細
第一著者: Oliveira, Felipe Rodopoulos de
出版日付: 2019
フォーマット: Master thesis
言語: eng
ソース: Repositório Institucional da UnB
Download full: https://repositorio.unb.br/handle/10482/37764
要約: Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2019.