Verificação formal de protocolos de segurança voltados à redes de sensores sem fio

Detalhes bibliográficos
Autor(a) principal: Nandi, Giann Carlos Spilere
Data de Publicação: 2017
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/xmlui/handle/123456789/182213
Resumo: TCC(graduação) - Universidade Federal de Santa Catarina. Campus Araranguá. Engenharia da Computação.
id UFSC_51ff2d4097ddd34b6671f8dbc0281613
oai_identifier_str oai:repositorio.ufsc.br:123456789/182213
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Verificação formal de protocolos de segurança voltados à redes de sensores sem fiosegurança da informaçãoredes de sensores sem fioprotocolos criptográficosverificação formalTCC(graduação) - Universidade Federal de Santa Catarina. Campus Araranguá. Engenharia da Computação.Cibersegurança não é um termo novo no âmbito computacional, entretanto, é o tipo de termo que consegue sempre tratar de temas atuais e relevantes. Uma das suas áreas de pesquisa trata de protocolos de segurança, também conhecidos como protocolos criptográficos. Estes protocolos descrevem sequências de ações a serem executadas por entidades a fim de alcançar certos objetivos de forma segura. Com a popularização do conceito de internet das coisas, novas necessidades surgiram no âmbito de segurança. Inserido no contexto de internet das coisas, a área de redes de sensores sem fio trouxe a necessidade de superar novos desafios em relação a segurança da informação. Dentre esses desafios adiciona-se a limitação de recursos computacionais, como baixa capacidade de processamento, baixa capacidade de armazenamento em memória, largura de banda reduzida e dispositivos alimentados por bateria. Diante dos novos desafios encontrados na redes de sensores, vários protocolos criptográficos foram propostos para atender a necessidade de garantir a segurança da informação, levando em consideração a limitação de recursos. Entretanto, devido ao projeto desses protocolos serem propenso a erros, brechas de segurança podem ser expostas e exploradas. Para identificar que propriedades de segurança são garantidas e a quais ataques pode estar exposto, protocolos podem ser submetidos a verificações de corretude, que fazem uso de métodos formais em suas análises. Este trabalho, visando enriquecer a escassa literatura sobre o assunto no Brasil, verifica formalmente três protocolos criptográficos para redes de sensores sem fio quanto as propriedades de segurança de sigilo e autenticidade.Cybersecurity is not a new term in the computational scope; however, it is the type of term that can always deal with current and relevant issues. One of its areas of research deals with security protocols, also known as cryptographic protocols. These protocols describe sequences of actions to be performed by entities to achieve specific goals securely. With the popularization of the internet concept of things, new needs have emerged within the scope of security. Inserted in the context of the internet of things, the area of wireless sensor networks has brought the need to overcome new challenges concerning information security. Among these problems is the limitation of computational resources, such as low processing capacity, low memory capacity, reduced bandwidth, and battery-powered devices. Given the new challenges encountered in sensor networks, several cryptographic protocols have been proposed to meet the need to ensure information security, taking into account resource limitations. However, because the design of these protocols is prone to errors, security breaches can be exposed and exploited. To identify which security properties are guaranteed and to which attacks may be detected, protocols can be submitted to verifications that use formal methods in their analyzes. This work, aiming to enrich the scarce literature on the subject in Brazil, formally verifies three cryptographic protocols for wireless sensor networks as the security properties of secrecy and authenticityAraranguá, SCMorales, Analúcia SchiaffinoUniversidade Federal de Santa CatarinaNandi, Giann Carlos Spilere2017-12-13T22:07:01Z2017-12-13T22:07:01Z2017-12-13info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis123 f.application/pdfhttps://repositorio.ufsc.br/xmlui/handle/123456789/182213porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2017-12-13T22:07:01Zoai:repositorio.ufsc.br:123456789/182213Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732017-12-13T22:07:01Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Verificação formal de protocolos de segurança voltados à redes de sensores sem fio
title Verificação formal de protocolos de segurança voltados à redes de sensores sem fio
spellingShingle Verificação formal de protocolos de segurança voltados à redes de sensores sem fio
Nandi, Giann Carlos Spilere
segurança da informação
redes de sensores sem fio
protocolos criptográficos
verificação formal
title_short Verificação formal de protocolos de segurança voltados à redes de sensores sem fio
title_full Verificação formal de protocolos de segurança voltados à redes de sensores sem fio
title_fullStr Verificação formal de protocolos de segurança voltados à redes de sensores sem fio
title_full_unstemmed Verificação formal de protocolos de segurança voltados à redes de sensores sem fio
title_sort Verificação formal de protocolos de segurança voltados à redes de sensores sem fio
author Nandi, Giann Carlos Spilere
author_facet Nandi, Giann Carlos Spilere
author_role author
dc.contributor.none.fl_str_mv Morales, Analúcia Schiaffino
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Nandi, Giann Carlos Spilere
dc.subject.por.fl_str_mv segurança da informação
redes de sensores sem fio
protocolos criptográficos
verificação formal
topic segurança da informação
redes de sensores sem fio
protocolos criptográficos
verificação formal
description TCC(graduação) - Universidade Federal de Santa Catarina. Campus Araranguá. Engenharia da Computação.
publishDate 2017
dc.date.none.fl_str_mv 2017-12-13T22:07:01Z
2017-12-13T22:07:01Z
2017-12-13
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio.ufsc.br/xmlui/handle/123456789/182213
url https://repositorio.ufsc.br/xmlui/handle/123456789/182213
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 123 f.
application/pdf
dc.publisher.none.fl_str_mv Araranguá, SC
publisher.none.fl_str_mv Araranguá, SC
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652000920862720

Registros relacionados