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...
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 |
Similar Items
-
Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata
by: Nogueira, Rodrigo Borges
Published: (2009) -
Um protocolo criptográfico para auditoria de publicidade na web
by: Ghisleri, Luciana Rita Guedes
Published: (2012) -
Políticas e declaração de práticas de certificação digital para UFSC
by: Mignoni, Maria Eloisa
Published: (2012) -
DAP (Dynamic Authorization Protocol) : uma abordagem segura out-of-band para e-bank com um segundo fator de autenticação visual
by: Melo, Laerte Peotta de
Published: (2013) -
Autenticação contínua pela dinâmica da digitação usando máquinas de comitê
by: Silva Filho, Sérgio Roberto de Lima e
Published: (2013)