Formalização e verificação de um protocolo de autenticação multifator

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2012 === Made available in DSpace on 2013-06-25T21:01:52Z (GMT). No. of bitstreams: 1 312160.pdf: 2341823 bytes, checksum: 8d2b0ce79f3479d239bab9f53...

Full description

Bibliographic Details
Main Author: Santos, Eduardo dos
Other Authors: Universidade Federal de Santa Catarina
Format: Others
Language:Portuguese
Published: 2013
Subjects:
Online Access:http://repositorio.ufsc.br/xmlui/handle/123456789/100627