G-DEF

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. === Made available in DSpace on 2012-10-20T11:22:14Z (GMT). No. of bitstreams: 1 192530.pdf: 1703459 bytes, checksum: 711ffd76d20cb51d56dc86cf6c5f284c (MD5) === Es...

Full description

Bibliographic Details
Main Author: Warnecke, Ernesto Hermann
Other Authors: Universidade Federal de Santa Catarina
Format: Others
Language:Portuguese
Published: Florianópolis, SC 2012
Subjects:
Online Access:http://repositorio.ufsc.br/xmlui/handle/123456789/84662
Description
Summary:Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. === Made available in DSpace on 2012-10-20T11:22:14Z (GMT). No. of bitstreams: 1 192530.pdf: 1703459 bytes, checksum: 711ffd76d20cb51d56dc86cf6c5f284c (MD5) === 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.