1 Introduzione 5. 2 Primi passi 6

Transcript

1 Jean-Baptiste Mardelle Rolf Eike Beer Traduzione della documentazione in italiano: Nicola Ruggero Traduzione della documentazione in italiano: Valter Violino

2 2

3 Indice 1 Introduzione 5 2 Primi passi 6 3 Usare KGpg Generazione di una chiave Revoca di una chiave Cifratura dei tuoi dati Cifratura di un file da Konqueror o Dolphin Cifrare un file oppure un testo con l applet di KGpg Cifrare testo dall editor di KGpg Decifrare i tuoi dati Decifrare un file da Konqueror o Dolphin Decifrare testo con l applet di KGpg Decifrare un testo nell editor Gestione delle Chiavi Gestore delle chiavi Proprietà della chiave Firma delle chiavi Lavorare con i server delle chiavi Comunicazione con il server delle chiavi Risultati ricerca nel server delle chiavi Configurare KGpg Cifratura Decifratura Aspetto Impostazioni di GnuPG Server delle chiavi Varie Riconoscimenti e licenza 19

4 Sommario KGpg è una semplice interfaccia grafica per GnuPG (

5 Capitolo 1 Introduzione KGpg è una semplice interfaccia grafica per GnuPG, un potente strumento di cifratura. Gnu- PG (noto anche come gpg) è incluso in molte distribuzioni e dovrebbe essere installato sul tuo sistema. Puoi ottenere l ultima versione su Con KGpg sarai in grado di cifrare e decifrare i tuoi file e le tue , permettendoti così comunicazioni molto più sicure. Una mini guida sulla cifratura con gpg è disponibile sul sito web di GnuPG s. Con KGpg non hai bisogno di ricordarti i comandi e le opzioni di gpg. Puoi fare quasi tutto con pochi clic. 5

6 Capitolo 2 Primi passi Ecco una lista dei componenti principali di KGpg: Icona del vassoio di sistema Quando avvierai KGpg apparirà un icona nel vassoio di sistema. Facendo clic con il tasto sinistro del mouse si aprirà la finestra del Gestore delle chiavi, mentre facendo clic con il tasto destro del mouse si aprirà un menu che ti permetterà di accedere rapidamente ad alcune importanti funzionalità. Se preferisci altre opzioni puoi cambiare l azione del tasto sinistro del mouse nella finestra di configurazione in modo che mostri l editor oppure disabiliti completamente l icona nel vassoio. Nota che l icona del vassoio di sistema di KGpg è praticamente sempre indicata come inattiva. Visto che il vassoio di sistema di solito nasconde le icone inattive, quella di KGpg non verrà mostrata finché non la richiederai espressamente. Per i dettagli dài un occhiata alla documentazione di Plasma. Finestra del Gestore delle chiavi Questo è il luogo adatto alla gestione delle tue chiavi. Per aprire la finestra del Gestore delle chiavi, fai clic con il tasto sinistro del mouse sulla applet di KGpg. Puoi importare, 6

7 esportare, firmare e modificare le tue chiavi. Molte azioni possono essere eseguite facendo clic con il tasto sinistro del mouse su una chiave. Finestra dell Editor È un semplice editor di testo, dove puoi digitare o incollare il testo da cifrare o decifrare. Per aprire l editor, fai clic con il tasto destro del mouse sull applet di KGpg. Integrazione con il gestore file KGpg è integrato con Konqueror. Questo significa che quando fai clic con il tasto destro del mouse su un file, puoi scegliere Azioni Cifra file per cifrare un file. Puoi decifrare un file facendo clic con il tasto sinistro del mouse. 7

8 Capitolo 3 Usare KGpg Ci sono due modi per cifrare i tuoi dati: Cifratura simmetrica: i tuoi dati vengono cifrati soltanto con una password. Chiunque ha un computer con gpg può decifrare il tuo messaggio se tu gli/le dai la password. Per eseguire una cifratura simmetrica, scegli cifratura simmetrica nella casella delle opzioni quando ti viene chiesto di scegliere una chiave di cifratura. Cifratura chiave: prima devi creare la tua coppia di chiavi (chiave segreta e chiave pubblica) e dare una frase segreta. Tieni la tua chiave segreta in luogo sicuro, e scambia la tua chiave pubblica con i tuoi amici. Poi, se vuoi spedire un messaggio cifrato a Pippo, devi cifrare il messaggio con la chiave pubblica di Pippo. Per decifrare il messaggio, il destinatario avrà bisogno della chiave segreta e della frase segreta di Pippo. La cifratura della chiave è un poco più complicata (devi scambiare chiavi con i tuoi amici) ma è più sicura. Ricordati che se provi a cifrare una chiave con la chiave di qualcun altro, non potrai decifrarla. Puoi solo decifrare i messaggi che sono stati cifrati con la tua chiave pubblica. 3.1 Generazione di una chiave Se non hai una chiave, KGpg farà comparire automaticamente al primo avvio la finestra di dialogo per la generazione della tua prima chiave. Puoi anche accedervi dal Gestore delle chiavi da Chiavi Genera coppia di chiavi. 8

9 Inserisci semplicemente il tuo nome, il tuo indirizzo e fai clic su Ok. Questo genererà una chiave gpg standard. Se vuoi più opzioni, puoi fare clic sul pulsante Modalità per esperti, che ti porterà su una finestra di Konsole con tutte le opzioni di gpg. Molta gente gioca e sperimenta con la loro prima chiave, generando id utente erronei, aggiungendo commenti che poi non vanno bene o semplicemente dimenticano la loro frase segreta. Per evitare che queste chiavi restino valide per sempre è bene limitare la validità a 12 mesi. Puoi in seguito modificare la validità delle tua chiavi segrete utilizzando la finestra delle proprietà della chiave. 3.2 Revoca di una chiave Una coppia di chiavi scaduta può essere riportata in uno stato operativo se hai accesso alla chiave privata e alla frase segreta. Per rendere non usabile in modo affidabile una chiave devi revocarla. La revoca viene effettuata aggiungendo una speciale firma di revoca alla chiave. Questa firma di revoca può essere creata assieme alla chiave. In questo caso è memorizzata in un file separato. Questo file può essere importato in seguito nel mazzo di chiavi associandolo quindi alla chiave, rendendola non usabile. Nota che per importare questa firma nella chiave non è necessaria alcuna password. Per questo, dovresti memorizzare questa firma di revoca in un posto sicuro, di solito diverso da quello che contiene la coppia di chiavi. Un buon suggerimento è di usare un posto separato dal tuo computer, copiando la coppia di chiavi in un dispositivo di memorizzazione esterno come una chiavetta USB oppure stampandola. Se non hai creato una revoca separata durante la creazione della chiave puoi creare una firma di revoca in qualunque momento scegliendo Chiavi Revoca chiave, opzionalmente importandola immediatamente nel mazzo di chiavi. 9

10 3.3 Cifratura dei tuoi dati Cifratura di un file da Konqueror o Dolphin Fai clic con il tasto destro del mouse sul file che vuoi cifrare. Scegli Azioni Cifra file nel menu a comparsa. Poi ti verranno fatte alcune domande nella finestra di dialogo delle Chiavi pubbliche. Scegli la chiave del destinatario e fai clic su Cifra. Il file cifrato verrà salvato con una estensione.asc oppure.gpg a seconda che tu abbia scelto una cifratura di tipo Cifratura corazzata ASCII oppure no. I file ASCII cifrati usano solo caratteri leggibili per rappresentare i dati quindi sono più robusti quando vengono copiati o inviati per posta. L unico svantaggio è che sono tre volte più grandi Cifrare un file oppure un testo con l applet di KGpg Puoi cifrare il contenuto degli appunti selezionando Cifra appunti nel menu dell applet. Quando scegli Firma appunti il testo verrà solo firmato. Entrambe le azioni importano il contenuto corrente degli appunti in una finestra di modifica, compiono l azione richiesta e reincollano il contenuto nell editor Cifrare testo dall editor di KGpg É semplicissimo, basta fare clic sul pulsante Cifra. Ti verranno poste delle domande nella finestra di dialogo di selezione delle chiavi pubbliche. Scegli la tua chiave e fai ancora clic su Ok. Il messaggio cifrato apparirà nella finestra dell editor. Normalmente puoi cifrare solo file con chiavi considerate affidabili da te. Se a volte vuoi poter inviare note confidenziali a persone senza curarti del fatto che abbiano una chiave GPG puoi impostare l opzione Permetti cifratura con chiavi non fidate. Per essere sicuro di poter decifrare ogni file che hai cifrato anche se altri l hanno cifrato con la chiave di qualcun altro, puoi usare le opzioni Cifra sempre con e Cifra file con disponibili nella configurazione di KGpg. 10

11 Per maggiori informazioni sulle opzioni di cifratura Corazza ASCII, Permetti la cifratura con chiavi non fidate e Cifratura simmetrica, per favore fai riferimento alla documentazione oppure alle pagine di manuale di gpg. 3.4 Decifrare i tuoi dati Decifrare un file da Konqueror o Dolphin Fai clic col tasto sinistro sul file che vuoi decifrare. Inserisci la tua frase segreta ed il file verrà decifrato. Puoi anche trascinare un file di testo cifrato e lasciarlo nella finestra dell editor di KGpg. In seguito ti verrà chiesta la frase segreta ed aperto il file decifrato nell editor di KGpg. Puoi persino lasciare file remoti! Puoi anche usare il File Decifra File e scegliere un file da decifrare Decifrare testo con l applet di KGpg Puoi decifrare anche il contenuto degli appunti selezionando la voce Decifra appunti dal menu dell applet di KGpg. Comparirà una finestra di modifica con il testo decifrato Decifrare un testo nell editor Copia o trascina e lascia il testo che vuoi decifrare, e fai clic sul pulsante Decifra. Ti verrà chiesta la frase segreta. 3.5 Gestione delle Chiavi Tutte le opzioni basilari di gestione delle chiavi possono essere eseguite attraverso KGpg. Per aprire la finestra di gestione delle chiavi fai clic con il tasto sinistro del mouse sull applet di KGpg. La maggior parte delle opzioni diventano disponibili facendo clic col tasto destro su una chiave. Per importare/esportare le chiavi pubbliche, puoi usare il trascinamento oppure le scorciatoie da tastiera di Copia/Incolla. 11

12 3.5.1 Gestore delle chiavi In questo esempio vedi un gruppo di chiavi contenente due chiavi, due paia di chiavi e tre chiavi pubbliche. La terza colonna mostra la fiducia che hai nelle chiavi. La prima coppia di chiavi ha fiducia definitiva ed è anche impostata come chiave predefinita (carattere in grassetto) mentre la seconda è scaduta. Due delle chiavi pubbliche hanno fiducia piena mentre la fiducia per l ultima è marginale. L ultima chiave è espansa e mostra la sua sottochiave ElGamal, un id utente aggiuntivo, entrambi con fiducia marginale e alcune firme. Le firme permettono la navigazione attraverso il mazzo di chiavi. Facendo doppio clic su una firma o una chiave mostrata come componente di un gruppo, verrai posizionato direttamente sulla chiave primaria corrispondente Proprietà della chiave 12

13 Mentre il gestore delle chiavi ti permette di eseguire operazioni generali con una o più chiavi, gruppi di chiavi o firme. La finestra di proprietà della chiave fornisce l accesso ad una singola chiave. Puoi raggiungerlo premendo invio nel gestore delle chiavi oppure facendo doppio clic sulla chiave. In questa finestra puoi cambiare la frase segreta e la scadenza della tue chiavi segrete. Per tutte le chiavi puoi inoltre impostare la fiducia del proprietario. Questo valore indica quanto ti fidi che il proprietario di questa chiave verifichi correttamente l identità delle chiavi che firma. Prendendo in considerazione la fiducia del proprietario gpg crea la tua rete di fiducia. Tu ti fidi delle chiavi che hai firmato. Se assegni la fiducia del proprietario a queste persone automaticamente ti fidi delle chiavi che hanno firmato senza bisogno di controfirmare anche tu le chiavi stesse Firma delle chiavi Quando firmi la chiave di qualcun altro (chiamiamola Alice) annunci di essere sicuro che la chiave appartiene effettivamente a quella persona e che essa è affidabile. Ovviamente dovresti averlo verificato davvero. Ciò di solito implica incontrare Alice, controllare almeno una carta d identità e prendere direttamente da lei l impronta digitale completa della chiave o una sua copia. Quindi vai a casa e firmi quella chiave. Di solito caricherai in seguito la chiave appena firmata su un server di chiavi in modo che tutti sappiano che hai controllato la chiave e che il proprietario è affidabile. Alice probabilmente farà lo stesso, in modo che entrambi avrete le chiavi firmate dall altro. Se uno di voi non ha una carta d identità a disposizione non è un problema, se la firma va in una direzione sola. Cosa succede se Alice vive all altro capo del mondo? Comunichi con lei regolarmente, ma non c è modo di incontrarla in tempo utile. Come fai a fidarti della sua chiave? Quando selezioni la sua chiave e scegli Firma chiave, si presenta la finestra che permette di scegliere come firmare la chiave. Per prima cosa puoi scegliere la chiave da usare per firmare. Poi puoi impostare con quanta cura hai verificato che lei sia davvero la persona che sostiene di essere. Queste informazioni verranno memorizzate assieme alla firma, in modo che serva a tutti gli altri che potrebbero averne bisogno (maggiori dettagli più avanti). Viene quindi l opzione utile se non puoi incontrare Alice 13

14 di persona: Firma locale (non può essere esportata). Quando la attivi, verrà creato un tipo speciale di firma che non potrà mai, neanche per sbaglio, lasciare il tuo mazzo. Perché è importante aver cura nel controllare l identità di Alice? A chi importa? C è un altro modo di risolvere il problema dell identità di Alice. Se non puoi andare a trovare Alice entro poco tempo, pensa a Trent. Sai che anche Trent ha un paio di chiavi. Trent è inoltre un giramondo, su un continente diverso due volte al mese. Se sei fortunato passerà presto da Alice. Vai quindi da Trent per firmare le chiavi. Mandi quindi un messaggio ad Alice per informarla che Trent passerà da lei a breve e chiederle se può incontrarsi con lui per firmare le chiavi. Alla fine di tutto ciò, sai che la chiave di Trent è affidabile e Trent sa che anche la chiave di Alice lo è. Se credi che Trent abbia correttamente controllato l identità di Alice, puoi anche fidarti della sua chiave. Queste relazioni tra le chiavi e i loro proprietari creano una cosiddetta rete di fiducia. Entro la rete ci sono alcuni importanti valori che determinano quando una chiave è affidabile. La prima cosa è con quanta cura è stata verificata l identità del proprietario della chiave: questo è il valore che hai visto sopra nella finestra di selezione delle chiavi segrete. Per esempio, tu sapresti facilmente verificare una carta d identità del tuo paese, ma una carta straniera sarebbe difficile. Potresti quindi dire di aver controllato attentamente l identità di Trent perché hai visto la sua carta d identità, e assomiglia molto alla tua. Ma Trent, sebbene abbia visto sia la carta d identità che la patente di Alice potrebbe dire di aver fatto solo un controllo approssimativo dell identità di lei, perché non ha confidenza coi documenti di quella parte del mondo. Il prossimo valore importante è quanto ti fidi della persona che controlla i documenti. Sai che Trent è bravo a farlo. Però, per esempio, George non è una persona molto sveglia. Ha appena dato un occhiata alla tua carta d identità quando l hai incontrato per firmare le chiavi. Sei sicuro che George sia la persona che sostiene di essere perché hai controllato attentamente i suoi documenti, ma non sembra interessargli molto quando è lui a controllare altre persone, quindi avrai una fiducia elevata nella chiave di George ma una molto bassa nelle sue firme. Se apri le proprietà di una chiave troverai il campo Fiducia nel proprietario: questo è quanto ti fidi del proprietario quando firma delle chiavi. Il valore non sarà esportato, perché dipende completamente dalle tue preferenze personali. Adesso dovresti avere un idea di come è fatta una rete di fiducia, a cosa servono i valori di fiducia nei proprietari e nelle chiavi, e perché dovresti sempre fare attenzione quando controlli un identità: altre persone potrebbero fidarsi di te. Un elemento del processo è però ancora senza verifica: gli indirizzi di posta elettronica nelle chiavi che firmi. Creare una nuova identità nella tua chiave con l indirizzo di posta di Alice o Trent richiede solo qualche clic del mouse. Hai verificato che 14

15 Trent è effettivamente il proprietario della sua chiave, ma nessuno ha ancora controllato che Trent davvero controlli gli indirizzi di posta delle sue identità. Invece, se scegli Firma e invia per posta identificativo utente dal menu puoi chiudere questa falla. L idea è che firmerai la chiave come al solito, e poi la dividerai in più parti. Ogni parte conterrà solo un identità della chiave di Trent e la tua rispettiva firma. Questa sarà cifrata con la chiave di Trent e inviata solo all indirizzo di posta specificato nell identità. Trent potrà importare la firma nel suo mazzo solo se può ricevere e decifrare il messaggio. Non sta a te caricare le tue firme, è compito suo. Se la tua firma compare su un server di chiavi puoi essere sicuro che Trent controlla davvero sia le sue chiavi che gli indirizzi che hai firmato. Le firme che fai in questo processo non faranno parte del tuo mazzo. Una volta che Trent avrà ricevuto il tuo messaggio e importato la tua firma nel suo mazzo, li potrà caricare su un server di chiavi. Quando aggiorni la sua chiave da un server otterrai le nuove firme. Anche se questo inizialmente può sembrare scomodo, è garanzia che non darai fiducia a delle sue identità che lui non controlla. Solo le firme che compaiono su un server di chiavi sono quelle che garantiscono a tutti, te compreso, che lui controlla davvero gli indirizzi corrispondenti. 3.6 Lavorare con i server delle chiavi Comunicazione con il server delle chiavi La parte pubblica di una coppia di chiavi è immagazzinata solitamente in un server. Questi server permettono a chiunque di cercare una chiave appartenente ad una specifica persona o indirizzo di posta. Anche le firme sono immagazzinate su questi server. Questa finestra di dialogo fornisce l accesso ai server delle chiavi. Puoi cercare ed importare chiavi dal server delle chiavi ed anche esportarle verso il server. Un esempio di ricerca ed importazione è quando vuoi scrivere una a qualcuno di nuovo. Se vuoi cifrare il messaggio per il tuo nuovo contatto puoi cercare se lui o lei possiede una chiave pubblica nei server delle chiavi. Se hai creato un nuovo paio di chiavi oppure hai firmato la chiave di qualcun altro puoi esportare la chiave pubblica (possibilmente con le nuove firme) al server delle chiavi. La maggior parte dei server delle chiavi sincronizzano i loro dati gli uni con gli altri in modo che tu possa ottenere risultati simili quando fai una ricerca senza differenze tra un server e l altro. 15

16 Dato che esistono eccezioni alla regola puoi scegliere in questa finestra il server delle chiavi da usare. Normalmente è una buona idea scegliere come server predefinito quello più vicino a te (es. nel tuo paese o continente) perché risponde più velocemente alle interrogazioni. Per favore nota che tutto ciò che invii al server delle chiavi normalmente ci resta per sempre. Questa è una ragione per cui dovresti limitare la validità delle tue chiavi. Nota inoltre che i server delle chiavi sono analizzati a volte dai creatori di spam alla ricerca di indirizzi validi Risultati ricerca nel server delle chiavi Tutti i risultati di una ricerca sono mostrati in questa finestra. Questa figura mostra una ricerca di che ha dato 244 risultati. Attraverso il campo «cerca» la lista è stata ridotta ad una chiave singola. Questa chiave ha due corrispondenze: l id utente primario corrisponde alla stringa di ricerca così come un altro id utente. Puoi selezionare una o più chiavi da importare. Gli id di queste chiavi sono mostrati nel campo Chiavi da importare in fondo alla finestra. Quando fai clic su Importa il server delle chiavi viene contattato nuovamente e le chiavi vengono scaricate nel tuo mazzo di chiavi. 3.7 Configurare KGpg La configurazione è accessibile attraverso il menu dell applet di KGpg (fai clic con il tasto destro del mouse sull applet) o attraverso il menu ( Impostazioni Configura KGpg). Puoi impostare i parametri predefiniti per la cifratura, per la decifratura, per l interfaccia utente e per l applet. La maggior parte delle opzioni di cifratura sono direttamente legate a gpg e sono documentate nelle pagine di manuale. 16

17 3.7.1 Cifratura Qui puoi configurare opzioni speciali da passare a GnuPG per cambiare il comportamento nella cifratura. Per una descrizione dettagliata per favore fai riferimento al manuale di GnuPG. Cifratura corazzata ASCII: questo indica che i file cifrati vengono memorizzati in un formato che usa solo caratteri ASCII stampabili e ha righe corte. File salvati in questo modo sono più grandi dei file in formato binario ma sono più facili da spedire ad es. via . Permetti cifratura con chiavi non fidate: questo ti permette di cifrare file con chiavi che non sono considerate affidabili da te. Compatibilità PGP 6: i file cifrati sono compatibili con il vecchio standard PGP 6. Questo disabilita alcune caratteristiche, quindi dovresti usarlo solo se ti serve veramente. Nascondi id utente: questo rimuove dal file cifrato tutte le evidenze del destinatario. Nel caso venga intercettata la trasmissione nessuno può ottenere dal file informazioni sul destinatario. Se il destinatario ha più chiavi deve provare a tentativi per sapere quale delle sue chiavi è stata usata. Cifra sempre con: tutte le cifrature sono cifrate anche con questa chiave. Se imposti questo valore ad una delle tue chiavi private, sei sicuro di poter leggere tutti i dati che hai cifrato al prezzo di avere dei messaggi più grandi. Cifra file con: si comporta come Cifra sempre con per la cifratura dei file. Comando di cifratura personalizzato: se hai bisogno di passare alcune opzioni insolite a Gnu- PG puoi specificare qui la riga di comando. La maggior parte degli utenti non ha bisogno di questo. Usa l estensione *.pgp per i file cifrati: se selezioni quest opzione i file cifrati verranno chiamati come il file di input con l estensione.pgp aggiunta, altrimenti viene usata l estensione.gpg. 17

18 3.7.2 Decifratura Qui puoi specificate un comando di decifrazione personalizzato. Quest opzione è necessaria raramente ed è utile solo per utenti avanzati che conoscono le opzioni della riga di comando di GnuPG Aspetto Qui puoi configurare il modo in cui KGpg ti appare. Le impostazioni possibili sono i colori che riflettono i diversi livelli di fiducia delle chiavi nel gestore delle chiavi e le impostazioni del carattere dell editor Impostazioni di GnuPG Qui puoi configurare quale binario di gpg, quale file di configurazione e quale cartella home usare. Questi valori sono rilevati in automatico al primo avvio e dovrebbero già essere a posto. Utilizzare l agente GnuPG ti permette di lavorare con GnuPG in comodità perché non devi inserire ogni volta la password per ciascuna azione. La password resta in memoria per un po in modo che ogni operazione che richieda la password possa essere svolta immediatamente senza intervento. Nota che questo può permettere l uso delle tue chiavi private se lasci la tua sessione accessibile agli altri Server delle chiavi Qui puoi creare una lista di server delle chiavi che vengono mostrati quando apri la finestra dei server delle chiavi. Se avvii GnuPG dalla riga di comando verrà usato solo il server che qui è impostato come predefinito. Il protocollo usato per la comunicazione con il server delle chiavi è basato su HTTP, quindi ha senso in alcuni ambienti utilizzare Usa il proxy HTTP quando disponibile Varie Questa sezione permette l impostazione di alcune caratteristiche diverse che non rientrano in altre sezioni. Puoi configurare per esempio Avvia KGpg automaticamente all avvio. L opzione usa selezione del mouse al posto degli appunti permette di scegliere se sia possibile selezionare con il mouse ed incollare la selezione con il pulsante centrale del mouse, oppure se tutte le operazioni devono essere effettuate da scorciatoie della tastiera. Puoi anche decidere se mostrare o meno l icona di KGpg nel vassoio di sistema e che azione intraprendere se fai clic sull icona con il tasto sinistro del mouse. Se l icona nel vassoio di sistema è visibile, chiudendo KGpg la finestra viene minimizzata nel vassoio di sistema. Se l icona del vassoio di sistema non è mostrata KGpg esce nel momento in cui vengono chiuse tutte le finestre. 18

19 Capitolo 4 Riconoscimenti e licenza KGpg Program copyright (c) Jean-Baptiste Mardelle bj@altern.org. (c) Jimmy Gilles jimmygilles@gmail.com (c) 2006,2007,2008,2009,2010 Rolf Eike Beer kde@opensource.sf-tec.de Nicola Ruggeronicola@nxnt.orgTraduzione della documentazione Valter Violinov.violino@virgilio.itTraduzione della documentazione Questa documentazione è concessa in licenza sotto i termini della GNU Free Documentation License. Questo programma è concesso in licenza sotto i termini della GNU General Public License. 19