Questa tesina introduce brevemente il problema della comunicazione tra due soggetti e quanto questa abbia il bisogno di essere sicura nei confronti di terze parti. A seguire vengono descritti i principali attacchi ad un algoritmo di cifratura e le tecniche a chiave pubblica e privata. Vengono inoltre descritti i protocolli IPsec e TLS. Nella parte centrale vengono date le nozioni base di fisica quantistica su cui la QKD si basa e vengono descritti i protocolli BB84 ed E91. Dunque vengono descritti due codici per la correzione degli errori nella fase di riconciliazione delle chiavi: il protocollo Cascade e i codici BCH; viene inoltre proposta una versione migliorata del Cascade. A seguire, vengono spiegate le fai di Privacy Amplification e di Autenticazionee e vengono fornite le integrazioni di QKD nei protocolli IPsec e TLS. Si fornisce le descrizioni del funzionamento di una rete QKD generica e di due realizzazioni esistenti: la SECOQC e la Tokyo QKD Network
Questa tesina introduce brevemente il problema della comunicazione tra due soggetti e quanto questa abbia il bisogno di essere sicura nei confronti di terze parti. A seguire vengono descritti i principali attacchi ad un algoritmo di cifratura e le tecniche a chiave pubblica e privata. Vengono inoltre descritti i protocolli IPsec e TLS. Nella parte centrale vengono date le nozioni base di fisica quantistica su cui la QKD si basa e vengono descritti i protocolli BB84 ed E91. Dunque vengono descritti due codici per la correzione degli errori nella fase di riconciliazione delle chiavi: il protocollo Cascade e i codici BCH; viene inoltre proposta una versione migliorata del Cascade. A seguire, vengono spiegate le fai di Privacy Amplification e di Autenticazionee e vengono fornite le integrazioni di QKD nei protocolli IPsec e TLS. Si fornisce le descrizioni del funzionamento di una rete QKD generica e di due realizzazioni esistenti: la SECOQC e la Tokyo QKD Network
Questo lavoro di tesi e incentrato principalmente nelle tecniche avanzate di ottimizzazione per comunicazioni quantistiche, ed in generale applicazioni a regime di singolo fotone in spazio libero.
Si tratta di un’attivita inserita nell’ambito di vari progetti che coinvolgono i dipartimenti di Ingegneria dell’Informazione e Astronomia dell’Universita degli Studi di Padova. Il lavoro svolto e introdotto da una sezione dedicata alla crittografia classica, seguita da una parte dedicata alla crittografia quantistica che ne illustra i concetti base e i principali protocolli. Si da inoltre particolare risalto alle tecnologie attualmente impiegate per l’implementazione di sistemi reali QKD (Quantum Key Distribution).
In particolare verra descritto QuAKE: il sistema di crittografia quantistica basato su protocollo B92, le cui fasi di composizione e collaudo sono state svolte presso i laboratori LUXOR dell’Universita degli Studi di Padova. Si iniziera da una descrizione generale del sistema, in cui si espongono e analizzano le scelte progettuali per la realizzazione
dell’apparato; in seguito si esporranno le soluzioni adottate per
l’assemblaggio dell’ottica del trasmettitore e del ricevitore, andando a caratterizzare singolarmente tutti i componenti utilizzati nel sistema.
Si illustrera in dettaglio la fase di montaggio di QuAKE, mettendo
in rilievo le difficolta incontrate e le relative soluzioni adottate. Ampio risalto verra riservato ai test sperimentali effettuati. Verranno inoltre descritti con accuratezza tutti i software, proprietari e non, utilizzati, in modo da rendere questa tesi una guida utile per il setup completo del sistema. Alla fine si esporranno i risultati empirici ottenuti in laboratorio e i possibili sviluppi futuri
Questo progetto intende fornire una soluzione di natura elettronica al problema dell'individuazione di due eventi che si manifestano in istanti temporali molto ravvicinati tra loro. Piu precisamente, parliamo di segnali elettrici con determinate caratteristiche di intensita e durata, provenienti, dopo la necessaria conversione, da un sistema di tipo quantistico.
Il lavoro svolto e la continuazione e l'ampliamento di quanto precedentemente realizzato dai colleghi Marco Pezzini e Andrea Merlin nell'ambito della loro tesi di laurea;
l'ambiente in cui e stato sviluppato e il Laboratorio Luxor dell'Universita di Padova, all'interno del quale e stato possibile accedere a tutta la strumentazione necessaria per i test sperimentali.
In questo elaborato si vuole dare una visione il piu possibile ad ampio raggio dell'argomento di interesse. Introdurremo i concetti di meccanica quantistica, fondamentali per comprendere il contesto in si opera, e quindi passeremo a descrivere
il fenomeno sico, l'entanglement, di cui ci proponiamo di realizzare uno strumento di misura. Dalla dimensione ottica, nota la procedura di conversione dei fotoni in segnali elettrici, sposteremo la nostra attenzione alle metodologie che permettono la rivelazione di intervalli temporali molto brevi e, dopo aver motivato la scelta dell'hardware adatto alle nostre esigenze e averne elencato le funzionalita, partiremo con la descrizione del progetto vero e proprio. Seguira un capitolo dedicato ai test sperimentali eseguiti per valutare qualita e punti deboli del dispositivo realizzato e, in ne, verranno tratte le dovute conclusioni prospettando nuovi scenari che permettano
di risolvere eventuali problemi rimasti irrisolti e migliorare le prestazioni complessive del sistema sviluppato
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.
In questa tesi viene analizzato il ruolo dell’entanglement quantistico come risorsa fondamentale per la crittografia, con particolare attenzione al protocollo E91. Dopo aver introdotto i concetti di base della meccanica quantistica e delle correlazioni non locali, si mette in evidenza come la violazione delle disuguaglianze di Bell possa trasformarsi in uno strumento concreto per garantire la sicurezza delle comunicazioni. L’attenzione si concentra quindi sulla struttura del protocollo E91, mostrando come i meccanismi di correzione d’errore e di privacy amplification permettano di adattare la teoria a scenari realistici, nei quali rumore e perdite sono inevitabili. Infine, viene discusso l’aspetto sperimentale, dalla generazione e distribuzione delle coppie entangled alle prospettive di implementazione su lunga distanza, delineando il protocollo non solo come una proposta teorica elegante, ma come un punto di partenza verso lo sviluppo di reti quantistiche sicure su scala globale.
Cette these s'est elaboree dans cette periode de l'histoire de la cryptographie quantique ou plusieurs protocoles avaient ete proposes sans que leur fiabilite n'ait pu etre encore demontree, du moins pas face a toute attaque. De plus, certaines des attaques qui avaient ete mises de cote etaient en fait accessibles a l'aide de la technologie actuelle.
D'un autre cote, le but de la cryptographie quantique a toujours ete la conception de protocoles inconditionnellement fiables, cest-a-dire, fiables face a toute attaque permise par les lois de la physique sans consideration pour aucune contrainte dans le temps ou dans l'espace. Tel etait le niveau de fiabilite espere des protocoles quantiques proposes. Seule la cryptographie quantique pouvait meme oser offrir un tel niveau de securite.
Une certaine application appelee la mise en gage jouait un role primordial dans l'ensemble des applications proposees par les cryptographes quantiques et une preuve de securite inconditionnelle avait ete proposee par Brassard, Crepeau, Jozsa et Langlois pour un protocole realisant cette tache. Notre objectif de depart etait de demontrer que les protocoles de la cryptographie quantique permettent effectivement de realiser avec une securite inconditionnelle la plupart des applications proposees, pas seulement la mise en gage. Cependant, a notre grande surprise et a l'etonnement de plusieurs, nous avons au contraire demontre qu'un protocole quantique de mise en gage inconditionnelle fiable est impossible et ainsi avons remis serieusement en question une partie importante des applications de la cryptographie quantique, en plus d'avoir demoli la preuve mentionnee plus haut. Par contre, en nous appuyant sur les travaux de Bennett, Brassard, Crepeau, Salvail et plus recemment de Yao, nous avons obtenu une preuve de la securite inconditionnelle d'un protocole quantique de distribution de cle.
Un des principes importants que nous avons utilises dans notre these est celui qui dit que tous les phenomenes peuvent etre decrits comme l'execution d'une mesure quantique. De plus, nous avons utilise le fait que cette mesure peut elle-meme etre decrite comme une transformation unitaire sur le systeme qui est compose du systeme mesure, de l'appareil de mesure et du systeme final si celui-ci est different du systeme initial.