Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Implementation of Finite Length Interleaved Coding Schemes for Secrecy in SDR Platforms

Cesar Miguel dos Santos Martins

Published Jul 28, 2017• 0 citations
OpenAlex

Abstract

Os últimos anos trouxeram um crescimento das comunicações sem fios, o que se refletiu numa maior preocupação com a segurança dos dados transmitidos entre dispositivos. Apesar da criptografia providenciar níveis satisfatórios de segurança, não é inquebrável, pelo que não se consegue garantir que não haja alguma fuga de informação. Nesse sentido, têm sido desenvolvidos métodos de introduzir segurança também na camada física, como complemento à segurança já existente.Recentemente, foi proposto um esquema que recorre a uma chave aleatória de interleaving, que é usada para baralhar a mensagem a transmitir, e que é, posteriormente, anexada à mesma, sendo ativado um jammer durante a transmissão dos bits correspondentes à chave gerada, de forma a criar uma vantagem em relação a um possível eavesdropper. Paralelamente a este, foi desenvolvido um esquema idêntico, mas em que os bits correspondentes à chave são apagados depois da mensagem ser codificada. Este último esquema parte do pressuposto da existência de uma vantagem do recetor legítimo face a um possível eavesdropper, expressa em termos de uma melhor relação sinal-ruído (por exemplo, a transmissão entre os intervenientes legítimos é realizada dentro de uma sala, garantindo que não existe um eavesdropper dentro da mesma), permitindo ao recetor legítimo a recuperação correta da chave, o que não é possível em situações de comunicação mais degradadas. Nesta dissertação é realizada a prova de conceito com a implementação em ambiente real de ambos os métodos em plataformas de rádio definido por software (SDR – Software Defined Radio), programadas com recurso ao MATLAB/Simulink. São, também, apresentados cenários de teste adequados, onde foram realizadas experiências que mostram a existência de um acréscimo de segurança introduzido por estes esquemas num cenário real. No decorrer da implementação, foi, ainda, proposta uma variação a ambos os esquemas, substituindo o interleaver por um scrambler, tendo sido obtidos resultados significativamente melhores. Nesta dissertação, são também descritos os problemas e dificuldades inerentes à implementação prática e teste de um sistema de comunicação genérico em plataformas SDR. Em concreto, e a título de exemplo, é proposto e foi implementado um processo de automatização dos testes, assente em comunicação sobre UDP, que permite a sincronização de vários SDRs (que modelam os sistemas transmissores e recetores), que pode ser aplicado a outros modelos de Simulink que representem um canal de escuta.Com estes resultados, mostra-se que os esquemas propostos cumprem os requisitos de garantir uma transmissão segura e fidedigna, podendo vir a ser um importante complemento à segurança das comunicações, principalmente em dispositivos móveis, como telemóveis (onde a segurança baseada em proximidade está a ganhar força) ou dispositivos da Internet das Coisas de baixo consumo, onde pode não ser possível utilizar os métodos da criptografia.

Related papers

Adaptive Phisical Layer Security based on Schemes

Miguel Santarém Duque Carreira

O forte crescimento observado na última década, da presença das comunicações sem fios no dia-a-dia das pessoas, trouxe consigo a necessidade de assegurar e melhorar a confidencialidade nas transmissões de dados. Esta segurança é normalmente garantida nas camadas superiores da pilha protocolar do sistema de transmissão, pelo uso de métodos criptográficos. Mas, procurando soluções alternativas, a comunidade científica tem vindo a apostar cada vez mais no desenvolvimento de técnicas de segurança na camada física como complemento à criptografia.O desafio deste trabalho foi essencialmente uma proposta de codificação para a segurança adaptativa na camada física, tendo por base as técnicas de ICSHK (ou Interleaved Coding for Secrecy with Hidden Key) e SCSHK (ou Scrambling Coding for Secrecy with Hidden Key). Foi também realizada uma comparação entre as referidas técnicas, no âmbito da qual foi proposta uma alteração ao esquema SCSHK ao nível do algoritmo de Scrambling, e sua dependência da chave de baralhamento. Por último, por forma a realizar uma avaliação prática fidedigna de segurança na camada física aquando o uso de códigos lineares, foi proposta a redefinição da métrica Intervalo de Segurança (ou Security Gap).Com estes resultados, podemos conferir que ambos os esquemas propostos são capazes de garantir uma transmissão segura e fidedigna, proporcionando assim adaptatividade perante diversos pontos de operação tanto para o recetor legítimo como para o adversário, demonstrando mais uma vez que podem vir a ser um fator importante no complemento da segurança das comunicações.

•Sep 26, 2018•0 citations

Interferência baseada na reciprocidade de canal para segurança em comunicações sem fios

João Diogo Madeira Cristina Marques

Nas últimas décadas as comunicações sem fios tiveram um crescimento enorme. Hoje em dia, a maioria das tarefas diárias necessitam da utilização de um dispositivo que recorra a uma comunicação sem fios. Por isso, criou-se uma necessidade de aumentar a segurança nestas comunicações. Recentemente, as técnicas de segurança na camada física têm gerado interesse, pois, permitem complementar, através de uma abordagem diferente, os protocolos de segurança já existente em outras camadas lógicas. Nesta dissertação foi implementado, um método de segurança na camada física num sistema Orthogonal Frequency Division Multiplexing (OFDM). Este método utiliza as características do canal para codificar e descodificar a mensagem transmitida, tendo por base o princípio da reciprocidade do canal que permite obter uma fonte de informação aleatória comum entre transmissor e recetor legítimo. As estimações de canal feitas são utilizadas para criar sinais de interferência que irão mudar a fase dos símbolos modulados e, consequentemente, proteger a mensagem transmitida. O sistema OFDM com o método de segurança foi desenvolvido utilizando a framework GNU Radio. Além disso, cada módulo constituinte do sistema pode ser utilizado com plataformas de rádio definido por software (SDR) para testes em ambiente real. Os testes realizados foram feitos considerando um cenário baseado no canal wiretap onde existem dois utilizadores legítimos (Alice e Bob) e um ilegítimo (Eve); no modelo original a Alice envia uma mensagem para o Bob enquanto a Eve tenta intercetá-la, além disso é assumido que as condições de transmissão do Bob são mais vantajosas do que as da Eve. As simulações realizadas consideraram diferentes condições de canal de forma a determinar os efeitos no desempenho do sistema. Além disso, foi realizada uma experiência em condições reais com SDR para validar a implementação. Os resultados obtidos, constituem evidência que o método usado pode aumentar a segurança mesmo quando o canal ilegítimo tem boas condições, embora, alguma fiabilidade seja comprometida. Isto pode ser importante nas futuras redes de dispositivos de baixa complexidade, como na Internet das coisas, onde é difícil a implementação de técnicas complexas de encriptação, e como os métodos de segurança na camada física podem ter um papel importante.

•Sep 26, 2017•0 citations

POST PROCESSING IN QUANTUM CRYPTOGRAPHY SYSTEMS

Camila Lima de Sousa

[pt] Os protocolos de comunicação quântica são essenciais para a transmissão segura de informações, utilizando os princípios da mecânica quântica para alcançar uma segurança inatingível por sistemas criptográficos clássicos. Diferentemente dos métodos tradicionais que dependem de chaves criptográficas convencionais, os protocolos quânticos exploram propriedades únicas dos sistemas quânticos para garantir a segurança da comunicação. No entanto, a implementação prática da distribuição quântica de chaves (QKD) é desafiada por erros introduzidos durante a geração e transmissão de estados quânticos e pela possível presença de espiões. Esta dissertação explora algumas das estratégias mais usadas para estimativa de erros, correção de erros e amplificação de privacidade em sistemas de QKD. Por meio de uma revisão bibliográfica e simulações abrangentes, o estudo avalia as técnicas mais eficazes em cada área. O objetivo final desta análise é desenvolver um método a ser implementado na Rede Rio Quântica, uma rede de comunicação quântica metropolitana que interliga as instituições PUC-Rio, CBPF e UFRJ por meio de fibras ópticas e a UFF através de um canal de espaço livre. Os resultados destacam a importância de otimizar as medidas de correção de erros e privacidade para melhorar a confiabilidade e a segurança das redes de comunicação quântica.

•Sep 18, 2024•0 citations

Esquemas de comunicação cooperativa segura considerando regimes parciais de segurança, múltiplas antenas e blocos de tamanho finito

Jamil Farhat

A crescente demanda por sistemas de comunicação sem fio torna a segurança da informação transmitida um importante aspecto a ser considerado no desenvolvimento de novos sistemas. Desta forma, nesta tese abordamos diferentes estudos da segurança na camada física considerando cenários com regimes parciais de segurança, múltiplas antenas e blocos de tamanho finito. Com relação aos regimes parciais de segurança, investiga-se a eficiência energética segura (SEE, do inglês Secure Energy Efficiency) de uma rede cooperativa nos quais os requisitos parciais de segurança são implementados através de um parâmetro de equivocação fracionário, θ ϵ (0, 1], que permite segurança parcial quando θ < 1. Assume-se que somente a informação do estado do canal (CSI, do inglês Channel State Information) do canal legítimo está disponível, enquanto a CSI da escuta é desconhecida. Desta forma, propomos um esquema denominado CSI-Aided Decode-and-Forward (DF), em que o transmissor utiliza da CSI disponível do canal legítimo para escolha entre o caminho direto ou cooperativo. Além do mais, considera-se que o relay emprega Codificação de Repetição (CSI-RC), em que fonte e relay utilizam a mesma palavra-código, ou Codificação Paralela (CSI-PC), em que diferentes palavras-código são utilizadas. Para maximização da SEE, uma alocação conjunta de potência é proposta, utilizando o algoritmo Dinkelbach para alocação de potência, que também otimiza θ. Os esquemas propostos são comparados com o DF tradicional, Amplify-and-Forward (AF) e Cooperative Jamming (CJ). Estendendo a análise anterior, estuda-se a SEE para cenários cooperativos em que todos os nós são equipados com múltiplas antenas. É proposta uma alocação conjunta da taxa de confidencialidade e da alocação de potência em Alice e no relay de modo a maximizar a SEE sujeita a um limite em termos da mínima probabilidade de outage de segurança necessária. Considerando este cenário MIMO (do inglês, Multiple-Input Multiple-Output) em que apenas a CSI do canal principal é conhecida por Alice, o esquema Artificial-Noise (AN) é comparado com o esquema CSI-Aided Decode-and-Forward. Por fim, considerando um cenário mais restritivo em relação à CSI, porém mais realista, em que a CSI de nenhum dos canais é conhecida, o throughput seguro é investigado em um cenário com atraso crítico, típico em comunicações machine-to-machine, no qual os usuários se comunicam com blocos de transmissão de tamanho finito. Nesta abordagem, o desempenho da comunicação direta é comparada com o protocolo cooperativo Selective Decode-and-Forward (SDF).

•Jun 12, 2018•0 citations

Applications of quantum cryptography in signatures of messages

Paulo Sousa

As assinaturas digitais são de fundamental importância para as comunicações eletrônicas no mundo todo por garantirem a integridade e autenticidade da informação. Com os avanços da ciência nas áreas da mecânica quântica e a introdução destes novos conceitos nas telecomunicações, a segurança da informação também precisou evoluir e cada vez mais se tem buscado novos sistemas de segurança que forneçam maior integridade e autenticidade que os sistemas clássicos. Dessa forma o objetivo deste trabalho é utilizar as propriedades do problema QSCDff , para a criação de um protocolo de assinatura quântica de mensagens. O problema QSCD ff possui propriedades matemáticas e computacionais para garantir a integridade e autenticidade das assinaturas geradas. O protocolo proposto faz uso de chaves descritas na forma de estados quânticos construídos a partir de permutações de um grupo simétrico e de uma função de hash para a compressão da mensagem original. Como entrada o protocolo recebe a mensagem clássica e uma chave privada. Para a geração do estado quântico da assinatura utiliza-se uma permutação como chave privada e o hash da mensagem. Gerar tal assinatura sem ter uma chave privada consiste em resolver um problema de encontrar automorfismos não triviais de grafos. A validação deste estado é feita através da aplicação do algoritmo quântico de busca de Grover. Por fim é mostrado que a probabilidade de falsificação da assinatura é negligenciável dado o número de cópias do estado da assinatura.

•Jan 1, 2013•0 citations

Protocol for quantum authentication of classic messages.

Rex A. C. Medeiros

Nos dias atuais, os sistemas de criptografia e autenticação desempenham um papel fundamental em aplicações que envolvem a manipulação de informações sigilosas, tais como movimentações financeiras, comércio eletrônico, aplicações militares e proteção de arquivos digitais. A popularização do uso dos sistemas de criptografia e autenticação se deve, em grande parte, a descrição de esquema de criptografia por chave pública. A segurança de tais sistemas é baseada na intratabilidade computacional (clássica) de problemas da teoria dos números, como a fatoração em produtos de primos e o problema do logaritmo discreto. A partir da formulação da Mecânica Quântica, foram demonstrados algoritmos que, executados em um computador quântico e consumindo tempo e recursos polinomiais, são capazes de resolver tais problemas. A construção de um computador quântico inviabilizaria, portanto, o uso de sistemas de criptografia e autenticação por chave pública. Nesta dissertação é discutido o problema da autenticação quântica de mensagens clássicas. É proposto um protocolo híbrido que alcança segurança incondicional, mesmo que um criptoanalista disponha de recursos computacionais infinitos, sejam eles clássicos ou quânticos. Através de uma prova matemática formal, é mostrado que o nível de segurança pode ser feito tão alto quanto desejado. Tal segurança é-garantida pelos princípios fundamentais da mecânica quântica.

•Jun 22, 2004•0 citations
Os últimos anos trouxeram um crescimento das comunicações sem fios, o que se refletiu numa maior preocupação com a segurança dos dados transmitidos entre dispositivos. Apesar da criptografia providenciar níveis satisfatórios de segurança, não é inquebrável, pelo que não se consegue garantir que não haja alguma fuga de informação. Nesse sentido, têm sido desenvolvidos métodos de introduzir segurança também na camada física, como complemento à segurança já existente.Recentemente, foi proposto um esquema que recorre a uma chave aleatória de interleaving, que é usada para baralhar a mensagem a transmitir, e que é, posteriormente, anexada à mesma, sendo ativado um jammer durante a transmissão dos bits correspondentes à chave gerada, de forma a criar uma vantagem em relação a um possível eavesdropper. Paralelamente a este, foi desenvolvido um esquema idêntico, mas em que os bits correspondentes à chave são apagados depois da mensagem ser codificada. Este último esquema parte do pressuposto da existência de uma vantagem do recetor legítimo face a um possível eavesdropper, expressa em termos de uma melhor relação sinal-ruído (por exemplo, a transmissão entre os intervenientes legítimos é realizada dentro de uma sala, garantindo que não existe um eavesdropper dentro da mesma), permitindo ao recetor legítimo a recuperação correta da chave, o que não é possível em situações de comunicação mais degradadas. Nesta dissertação é realizada a prova de conceito com a implementação em ambiente real de ambos os métodos em plataformas de rádio definido por software (SDR – Software Defined Radio), programadas com recurso ao MATLAB/Simulink. São, também, apresentados cenários de teste adequados, onde foram realizadas experiências que mostram a existência de um acréscimo de segurança introduzido por estes esquemas num cenário real. No decorrer da implementação, foi, ainda, proposta uma variação a ambos os esquemas, substituindo o interleaver por um scrambler, tendo sido obtidos resultados significativamente melhores. Nesta dissertação, são também descritos os problemas e dificuldades inerentes à implementação prática e teste de um sistema de comunicação genérico em plataformas SDR. Em concreto, e a título de exemplo, é proposto e foi implementado um processo de automatização dos testes, assente em comunicação sobre UDP, que permite a sincronização de vários SDRs (que modelam os sistemas transmissores e recetores), que pode ser aplicado a outros modelos de Simulink que representem um canal de escuta.Com estes resultados, mostra-se que os esquemas propostos cumprem os requisitos de garantir uma transmissão segura e fidedigna, podendo vir a ser um importante complemento à segurança das comunicações, principalmente em dispositivos móveis, como telemóveis (onde a segurança baseada em proximidade está a ganhar força) ou dispositivos da Internet das Coisas de baixo consumo, onde pode não ser possível utilizar os métodos da criptografia.
O forte crescimento observado na última década, da presença das comunicações sem fios no dia-a-dia das pessoas, trouxe consigo a necessidade de assegurar e melhorar a confidencialidade nas transmissões de dados. Esta segurança é normalmente garantida nas camadas superiores da pilha protocolar do sistema de transmissão, pelo uso de métodos criptográficos. Mas, procurando soluções alternativas, a comunidade científica tem vindo a apostar cada vez mais no desenvolvimento de técnicas de segurança na camada física como complemento à criptografia.O desafio deste trabalho foi essencialmente uma proposta de codificação para a segurança adaptativa na camada física, tendo por base as técnicas de ICSHK (ou Interleaved Coding for Secrecy with Hidden Key) e SCSHK (ou Scrambling Coding for Secrecy with Hidden Key). Foi também realizada uma comparação entre as referidas técnicas, no âmbito da qual foi proposta uma alteração ao esquema SCSHK ao nível do algoritmo de Scrambling, e sua dependência da chave de baralhamento. Por último, por forma a realizar uma avaliação prática fidedigna de segurança na camada física aquando o uso de códigos lineares, foi proposta a redefinição da métrica Intervalo de Segurança (ou Security Gap).Com estes resultados, podemos conferir que ambos os esquemas propostos são capazes de garantir uma transmissão segura e fidedigna, proporcionando assim adaptatividade perante diversos pontos de operação tanto para o recetor legítimo como para o adversário, demonstrando mais uma vez que podem vir a ser um fator importante no complemento da segurança das comunicações.
Nas últimas décadas as comunicações sem fios tiveram um crescimento enorme. Hoje em dia, a maioria das tarefas diárias necessitam da utilização de um dispositivo que recorra a uma comunicação sem fios. Por isso, criou-se uma necessidade de aumentar a segurança nestas comunicações. Recentemente, as técnicas de segurança na camada física têm gerado interesse, pois, permitem complementar, através de uma abordagem diferente, os protocolos de segurança já existente em outras camadas lógicas. Nesta dissertação foi implementado, um método de segurança na camada física num sistema Orthogonal Frequency Division Multiplexing (OFDM). Este método utiliza as características do canal para codificar e descodificar a mensagem transmitida, tendo por base o princípio da reciprocidade do canal que permite obter uma fonte de informação aleatória comum entre transmissor e recetor legítimo. As estimações de canal feitas são utilizadas para criar sinais de interferência que irão mudar a fase dos símbolos modulados e, consequentemente, proteger a mensagem transmitida. O sistema OFDM com o método de segurança foi desenvolvido utilizando a framework GNU Radio. Além disso, cada módulo constituinte do sistema pode ser utilizado com plataformas de rádio definido por software (SDR) para testes em ambiente real. Os testes realizados foram feitos considerando um cenário baseado no canal wiretap onde existem dois utilizadores legítimos (Alice e Bob) e um ilegítimo (Eve); no modelo original a Alice envia uma mensagem para o Bob enquanto a Eve tenta intercetá-la, além disso é assumido que as condições de transmissão do Bob são mais vantajosas do que as da Eve. As simulações realizadas consideraram diferentes condições de canal de forma a determinar os efeitos no desempenho do sistema. Além disso, foi realizada uma experiência em condições reais com SDR para validar a implementação. Os resultados obtidos, constituem evidência que o método usado pode aumentar a segurança mesmo quando o canal ilegítimo tem boas condições, embora, alguma fiabilidade seja comprometida. Isto pode ser importante nas futuras redes de dispositivos de baixa complexidade, como na Internet das coisas, onde é difícil a implementação de técnicas complexas de encriptação, e como os métodos de segurança na camada física podem ter um papel importante.
[pt] Os protocolos de comunicação quântica são essenciais para a transmissão segura de informações, utilizando os princípios da mecânica quântica para alcançar uma segurança inatingível por sistemas criptográficos clássicos. Diferentemente dos métodos tradicionais que dependem de chaves criptográficas convencionais, os protocolos quânticos exploram propriedades únicas dos sistemas quânticos para garantir a segurança da comunicação. No entanto, a implementação prática da distribuição quântica de chaves (QKD) é desafiada por erros introduzidos durante a geração e transmissão de estados quânticos e pela possível presença de espiões. Esta dissertação explora algumas das estratégias mais usadas para estimativa de erros, correção de erros e amplificação de privacidade em sistemas de QKD. Por meio de uma revisão bibliográfica e simulações abrangentes, o estudo avalia as técnicas mais eficazes em cada área. O objetivo final desta análise é desenvolver um método a ser implementado na Rede Rio Quântica, uma rede de comunicação quântica metropolitana que interliga as instituições PUC-Rio, CBPF e UFRJ por meio de fibras ópticas e a UFF através de um canal de espaço livre. Os resultados destacam a importância de otimizar as medidas de correção de erros e privacidade para melhorar a confiabilidade e a segurança das redes de comunicação quântica.
A crescente demanda por sistemas de comunicação sem fio torna a segurança da informação transmitida um importante aspecto a ser considerado no desenvolvimento de novos sistemas. Desta forma, nesta tese abordamos diferentes estudos da segurança na camada física considerando cenários com regimes parciais de segurança, múltiplas antenas e blocos de tamanho finito. Com relação aos regimes parciais de segurança, investiga-se a eficiência energética segura (SEE, do inglês Secure Energy Efficiency) de uma rede cooperativa nos quais os requisitos parciais de segurança são implementados através de um parâmetro de equivocação fracionário, θ ϵ (0, 1], que permite segurança parcial quando θ < 1. Assume-se que somente a informação do estado do canal (CSI, do inglês Channel State Information) do canal legítimo está disponível, enquanto a CSI da escuta é desconhecida. Desta forma, propomos um esquema denominado CSI-Aided Decode-and-Forward (DF), em que o transmissor utiliza da CSI disponível do canal legítimo para escolha entre o caminho direto ou cooperativo. Além do mais, considera-se que o relay emprega Codificação de Repetição (CSI-RC), em que fonte e relay utilizam a mesma palavra-código, ou Codificação Paralela (CSI-PC), em que diferentes palavras-código são utilizadas. Para maximização da SEE, uma alocação conjunta de potência é proposta, utilizando o algoritmo Dinkelbach para alocação de potência, que também otimiza θ. Os esquemas propostos são comparados com o DF tradicional, Amplify-and-Forward (AF) e Cooperative Jamming (CJ). Estendendo a análise anterior, estuda-se a SEE para cenários cooperativos em que todos os nós são equipados com múltiplas antenas. É proposta uma alocação conjunta da taxa de confidencialidade e da alocação de potência em Alice e no relay de modo a maximizar a SEE sujeita a um limite em termos da mínima probabilidade de outage de segurança necessária. Considerando este cenário MIMO (do inglês, Multiple-Input Multiple-Output) em que apenas a CSI do canal principal é conhecida por Alice, o esquema Artificial-Noise (AN) é comparado com o esquema CSI-Aided Decode-and-Forward. Por fim, considerando um cenário mais restritivo em relação à CSI, porém mais realista, em que a CSI de nenhum dos canais é conhecida, o throughput seguro é investigado em um cenário com atraso crítico, típico em comunicações machine-to-machine, no qual os usuários se comunicam com blocos de transmissão de tamanho finito. Nesta abordagem, o desempenho da comunicação direta é comparada com o protocolo cooperativo Selective Decode-and-Forward (SDF).
As assinaturas digitais são de fundamental importância para as comunicações eletrônicas no mundo todo por garantirem a integridade e autenticidade da informação. Com os avanços da ciência nas áreas da mecânica quântica e a introdução destes novos conceitos nas telecomunicações, a segurança da informação também precisou evoluir e cada vez mais se tem buscado novos sistemas de segurança que forneçam maior integridade e autenticidade que os sistemas clássicos. Dessa forma o objetivo deste trabalho é utilizar as propriedades do problema QSCDff , para a criação de um protocolo de assinatura quântica de mensagens. O problema QSCD ff possui propriedades matemáticas e computacionais para garantir a integridade e autenticidade das assinaturas geradas. O protocolo proposto faz uso de chaves descritas na forma de estados quânticos construídos a partir de permutações de um grupo simétrico e de uma função de hash para a compressão da mensagem original. Como entrada o protocolo recebe a mensagem clássica e uma chave privada. Para a geração do estado quântico da assinatura utiliza-se uma permutação como chave privada e o hash da mensagem. Gerar tal assinatura sem ter uma chave privada consiste em resolver um problema de encontrar automorfismos não triviais de grafos. A validação deste estado é feita através da aplicação do algoritmo quântico de busca de Grover. Por fim é mostrado que a probabilidade de falsificação da assinatura é negligenciável dado o número de cópias do estado da assinatura.
Nos dias atuais, os sistemas de criptografia e autenticação desempenham um papel fundamental em aplicações que envolvem a manipulação de informações sigilosas, tais como movimentações financeiras, comércio eletrônico, aplicações militares e proteção de arquivos digitais. A popularização do uso dos sistemas de criptografia e autenticação se deve, em grande parte, a descrição de esquema de criptografia por chave pública. A segurança de tais sistemas é baseada na intratabilidade computacional (clássica) de problemas da teoria dos números, como a fatoração em produtos de primos e o problema do logaritmo discreto. A partir da formulação da Mecânica Quântica, foram demonstrados algoritmos que, executados em um computador quântico e consumindo tempo e recursos polinomiais, são capazes de resolver tais problemas. A construção de um computador quântico inviabilizaria, portanto, o uso de sistemas de criptografia e autenticação por chave pública. Nesta dissertação é discutido o problema da autenticação quântica de mensagens clássicas. É proposto um protocolo híbrido que alcança segurança incondicional, mesmo que um criptoanalista disponha de recursos computacionais infinitos, sejam eles clássicos ou quânticos. Através de uma prova matemática formal, é mostrado que o nível de segurança pode ser feito tão alto quanto desejado. Tal segurança é-garantida pelos princípios fundamentais da mecânica quântica.