Formal verification of fair exchange protocols using the strand spaces method / Verificação formal de protocolos de trocas justas utilizando o metodo de espaços de fitas

AUTOR(ES)
DATA DE PUBLICAÇÃO

2009

RESUMO

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 exchange transactions, such as electronic commerce (ecommerce), internet banking, peer-to-peer networks (P2P), etc. With such demand for fairness, we need to ensure that fair exchange protocols receive the same amount of attention, from academia, as classic protocols do. Within this context, project guideliness are needed, and so are verification tools, taxonomies of attack, and whatever other artifacts that may help correct protocol design. In this work we present a study on the fair exchange problem and the current state-of-the-art of proposed solutions, as well as a discussion on the possibility of building, from currently available formal verification and attack detection techniques for classic protocols, methods for fair exchange protocols design and correction

ASSUNTO(S)

espaços de fitas (ciencia da computação) strand spaces (computer science) formal methods (computer science) computer network security redes de computação - protocolos redes de computação - medidas de segurança metodos formais (ciencia da computação) cryptography criptografia computer network protocols

ACESSO AO ARTIGO

Documentos Relacionados