Verificação formal de protocolos de trocas justas utilizando o metodo de espaços de fitas

Verificação formal de protocolos de trocas justas utilizando o metodo de espaços de fitas

Orientador: Ricardo Dahab === Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação === Made available in DSpace on 2018-08-13T10:57:18Z (GMT). No. of bitstreams: 1 Piva_FabioRogerio_M.pdf: 1281624 bytes, checksum: 2d4f949b868d1059e108b1cd79314629 (MD5) Previous issue...

Full description

Bibliographic Details
Main Author: Piva, Fabio Rogério, 1982-
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 2009
Subjects:
Criptografia
Espaços de fitas (Ciência da Computação)
Métodos formais (Computação)
Redes de computadores - Medidas de segurança
Redes de computadores - Protocolos
Cryptography
Strand spaces (Computer Science)
Formal methods (Computer Science)
Computer network protocols
Computer network security
Online Access:PIVA, Fabio Rogério. Verificação formal de protocolos de trocas justas utilizando o metodo de espaços de fitas. 2009. 93 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/276154>. Acesso em: 13 ago. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/276154

Internet

PIVA, Fabio Rogério. Verificação formal de protocolos de trocas justas utilizando o metodo de espaços de fitas. 2009. 93 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/276154>. Acesso em: 13 ago. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/276154

Similar Items