Uma Análise Formal Automatizada dos Protocolos de Envio e Confirmação de Processamento da Nota Fiscal Eletrônica Brasileira

Jean E. MartinaLuiz A. C. Boal

The Brazilian Electronic Bill of Sale (NF-e) is a taxing legislation that establishes an electronic system to replace the actual paper-based goods taxing system. It is used to declare to the government operations related with buying and selling goods between companies in real time, replacing the actual paperwork. This paper aims to formalise and analise the message exchange protocols established by the legislation. We formalise the messages of sending and confirmation sub-protocols, then we use a consolidated method to automatically analise security protocols. A conceptual problem is found. We then evaluate the impact and propose modifications in the protocols to avoid this problem.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: