G-DEF: Protocolo criptográfico para geração de documento eletrônico fiscal nas operações entre empresas

Abstract

Esta dissertação discute o comércio eletrônico entre empresas e o controle do Estado sobre os impostos incidentes sobre o valor adicionado, gerados por este comércio. O trabalho estuda as relações entre empresas e o Estado, demonstrando os pontos falhos do atual controle de impostos realizado sobre os documentos fiscais que utilizam o papel como mídia, e procura demonstrar as vantagens da utilização do documento eletrônico em termos de segurança, praticidade e economia. Também é proposto um protocolo criptográfico para emissão de documentos fiscais eletrônicos entre empresas, incluindo o Fisco no processo. O protocolo é analisado e validado usando-se Redes de Petri.