Verificação oportunista de assinaturas digitais para programas e bibliotecas em sistemas operacionais paginados

Detalhes bibliográficos
Ano de defesa: 2005
Autor(a) principal: Destefani, Guilherme Herrmann
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Centro Federal de Educação Tecnológica do Paraná
Curitiba
Programa de Pós-Graduação em Engenharia Elétrica e Informática Industrial
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: http://repositorio.utfpr.edu.br/jspui/handle/1/92
Resumo: This work discusses a series of security mechanisms based in cryptography, combining them with concepts of operating systems, in order to create an innovative architecture that uses some functionalities characteristics of operating system to protect it against vulnerabilities related with the adulteration of computer programs and libraries. This architecture consists in a mechanism for generation of digital signatures integrated into the computer programs and libraries, in order to guarantee the software and operating system authenticity and integrity while in execution by the target machine. The system is transparent to programmers, and it is also possible that software with digital signatures can be executed on systems without support to verification of signature, what simplifies the software distribution process. The verification of signatures is integrated with the paging mechanism of the microprocessor, making on-demand verification only in the part of the programs and libraries that is going to be effectively used, diminishing the impact on the performance and providing transparency for final users and system administrators. The validation of the model was carried through as an extension to the application binary interface Unix ELF, implemented in the GNU/Linux platform. The impact of the digital signature for developers and distributors of operating systems under the point of view of complexity, effect for final users and overload in performance of the system was verified. xix
id UTFPR-12_caca4666a4cde4785c67b9b764b5f716
oai_identifier_str oai:repositorio.utfpr.edu.br:1/92
network_acronym_str UTFPR-12
network_name_str Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
repository_id_str
spelling Verificação oportunista de assinaturas digitais para programas e bibliotecas em sistemas operacionais paginadosAssinaturas digitaisCriptografia de dadosDigital signaturesData encryptionThis work discusses a series of security mechanisms based in cryptography, combining them with concepts of operating systems, in order to create an innovative architecture that uses some functionalities characteristics of operating system to protect it against vulnerabilities related with the adulteration of computer programs and libraries. This architecture consists in a mechanism for generation of digital signatures integrated into the computer programs and libraries, in order to guarantee the software and operating system authenticity and integrity while in execution by the target machine. The system is transparent to programmers, and it is also possible that software with digital signatures can be executed on systems without support to verification of signature, what simplifies the software distribution process. The verification of signatures is integrated with the paging mechanism of the microprocessor, making on-demand verification only in the part of the programs and libraries that is going to be effectively used, diminishing the impact on the performance and providing transparency for final users and system administrators. The validation of the model was carried through as an extension to the application binary interface Unix ELF, implemented in the GNU/Linux platform. The impact of the digital signature for developers and distributors of operating systems under the point of view of complexity, effect for final users and overload in performance of the system was verified. xixEste trabalho apresenta a combinação de uma série de mecanismos de segurança baseados em criptografia com conceitos de sistemas operacionais. Esta combinação cria uma arquitetura inovadora,que aproveita características do funcionamento do sistema operacional para protegê-lo de vulnerabilidades relacionadas com a adulteração de programas e bibliotecas. Esta arquitetura consiste em um mecanismo de geração de assinaturas digitais integradas a programas e bibliotecas, para garantir a autenticidade e a integridade dos mesmos e de cada parte do sistema operacional em execução. O sistema funciona de forma transparente para programadores, e possibilita que o software com assinaturas digitais seja compatível com sistemas que não tenham suporte a verificação de assinatura, simplificando o processo de distribuição. A verificação de assinaturas é integrada com o mecanismo de paginação do microprocessador, de forma a efetuar uma verificação sob demanda somente da parte dos programas e bibliotecas que é efetivamente utilizada. Esta integração diminui o impacto sobre o desempenho e proporciona transparência para os usuários finais e administradores de sistemas. A validação do modelo proposto foi realizada como uma extensão à interface binária de aplicação Unix ELF, implementada na plataforma GNU/Linux. O impacto da assinatura digital para desenvolvedores e distribuidores de sistemas operacionais sob a ótica de complexidade de uso, efeitos do sistema para usuários finais e a sobrecarga no desempenho do sistema foram verificados.Centro Federal de Educação Tecnológica do ParanáCuritibaPrograma de Pós-Graduação em Engenharia Elétrica e Informática IndustrialNeves Junior, FlavioDestefani, Guilherme Herrmann2010-10-13T17:41:17Z2010-10-13T17:41:17Z200513/10/2010info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis2,41 MBapplication/pdfDESTEFANI, Guilherme Herrmann. Verificação oportunista de assinaturas digitais para programas e bibliotecas em sistemas operacionais paginados. 2005. 96 f. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) – Universidade Tecnológica Federal do Paraná, Curitiba, 2005.http://repositorio.utfpr.edu.br/jspui/handle/1/92porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))instname:Universidade Tecnológica Federal do Paraná (UTFPR)instacron:UTFPR2020-06-03T17:43:47Zoai:repositorio.utfpr.edu.br:1/92Repositório InstitucionalPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestriut@utfpr.edu.br || sibi@utfpr.edu.bropendoar:2020-06-03T17:43:47Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)false
dc.title.none.fl_str_mv Verificação oportunista de assinaturas digitais para programas e bibliotecas em sistemas operacionais paginados
title Verificação oportunista de assinaturas digitais para programas e bibliotecas em sistemas operacionais paginados
spellingShingle Verificação oportunista de assinaturas digitais para programas e bibliotecas em sistemas operacionais paginados
Destefani, Guilherme Herrmann
Assinaturas digitais
Criptografia de dados
Digital signatures
Data encryption
title_short Verificação oportunista de assinaturas digitais para programas e bibliotecas em sistemas operacionais paginados
title_full Verificação oportunista de assinaturas digitais para programas e bibliotecas em sistemas operacionais paginados
title_fullStr Verificação oportunista de assinaturas digitais para programas e bibliotecas em sistemas operacionais paginados
title_full_unstemmed Verificação oportunista de assinaturas digitais para programas e bibliotecas em sistemas operacionais paginados
title_sort Verificação oportunista de assinaturas digitais para programas e bibliotecas em sistemas operacionais paginados
author Destefani, Guilherme Herrmann
author_facet Destefani, Guilherme Herrmann
author_role author
dc.contributor.none.fl_str_mv Neves Junior, Flavio
dc.contributor.author.fl_str_mv Destefani, Guilherme Herrmann
dc.subject.por.fl_str_mv Assinaturas digitais
Criptografia de dados
Digital signatures
Data encryption
topic Assinaturas digitais
Criptografia de dados
Digital signatures
Data encryption
description This work discusses a series of security mechanisms based in cryptography, combining them with concepts of operating systems, in order to create an innovative architecture that uses some functionalities characteristics of operating system to protect it against vulnerabilities related with the adulteration of computer programs and libraries. This architecture consists in a mechanism for generation of digital signatures integrated into the computer programs and libraries, in order to guarantee the software and operating system authenticity and integrity while in execution by the target machine. The system is transparent to programmers, and it is also possible that software with digital signatures can be executed on systems without support to verification of signature, what simplifies the software distribution process. The verification of signatures is integrated with the paging mechanism of the microprocessor, making on-demand verification only in the part of the programs and libraries that is going to be effectively used, diminishing the impact on the performance and providing transparency for final users and system administrators. The validation of the model was carried through as an extension to the application binary interface Unix ELF, implemented in the GNU/Linux platform. The impact of the digital signature for developers and distributors of operating systems under the point of view of complexity, effect for final users and overload in performance of the system was verified. xix
publishDate 2005
dc.date.none.fl_str_mv 13/10/2010
2005
2010-10-13T17:41:17Z
2010-10-13T17:41:17Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv DESTEFANI, Guilherme Herrmann. Verificação oportunista de assinaturas digitais para programas e bibliotecas em sistemas operacionais paginados. 2005. 96 f. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) – Universidade Tecnológica Federal do Paraná, Curitiba, 2005.
http://repositorio.utfpr.edu.br/jspui/handle/1/92
identifier_str_mv DESTEFANI, Guilherme Herrmann. Verificação oportunista de assinaturas digitais para programas e bibliotecas em sistemas operacionais paginados. 2005. 96 f. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) – Universidade Tecnológica Federal do Paraná, Curitiba, 2005.
url http://repositorio.utfpr.edu.br/jspui/handle/1/92
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 2,41 MB
application/pdf
dc.publisher.none.fl_str_mv Centro Federal de Educação Tecnológica do Paraná
Curitiba
Programa de Pós-Graduação em Engenharia Elétrica e Informática Industrial
publisher.none.fl_str_mv Centro Federal de Educação Tecnológica do Paraná
Curitiba
Programa de Pós-Graduação em Engenharia Elétrica e Informática Industrial
dc.source.none.fl_str_mv reponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
instname:Universidade Tecnológica Federal do Paraná (UTFPR)
instacron:UTFPR
instname_str Universidade Tecnológica Federal do Paraná (UTFPR)
instacron_str UTFPR
institution UTFPR
reponame_str Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
collection Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
repository.name.fl_str_mv Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)
repository.mail.fl_str_mv riut@utfpr.edu.br || sibi@utfpr.edu.br
_version_ 1850498255177121792