Terminal de consulta web

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

Fabio Rogerio Piva

DISSERTAÇÃO

Português

T/UNICAMP P688v

[Formal verification of fair exchange protocols using the strand spaces method]

Campinas, SP : [s.n.], 2009.

93 p. : il.

Orientador: Ricardo Dahab

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação

Resumo: Os protocolos de trocas justas foram propostos como solução para o problema da troca de itens virtuais, entre duas ou mais entidades, sem que haja a necessidade de confiança entre elas. A popularização da internet criou uma crescente classe de usuários leigos que diariamente participam de... Ver mais
Abstract: Fair exchange protocols were first proposed as a solution to the problem of exchanging digital items, between two or more entities, without forcing them to trust each other. The popularization of the internet resulted in an increasing amount of lay users, which constantly participate in... Ver mais

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

Fabio Rogerio Piva

										

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

Fabio Rogerio Piva

    Exemplares

    Nº de exemplares: 2
    Não existem reservas para esta obra