Secure gossiping techniques and components

Gossip protocols have proved to be a viable solution to set-up and manage largescale P2P services or applications in a fully decentralised scenario. The gossip or epidemic communication scheme is heavily based on stochastic behaviors and it is the fundamental idea behind many large-scale P2P protocols. It provides many remarkable features, such as scalability, robustness to failures, emergent load balancing capabilities, fast spreading, and redundancy of information. In some sense, these services or protocols mimic natural system behaviors in order to achieve their goals. The key idea of this work is that the remarkable properties of gossip hold when all the participants follow the rules dictated by the actual protocols. If one or more malicious nodes join the network and start cheating according to some strategy, the result can be catastrophic. In order to study how serious the threat posed by malicious nodes can be and what can be done to prevent attackers from cheating, we focused on a general attack model aimed to defeat a key service in gossip overlay networks (the Peer Sampling Service [JGKvS04]). We also focused on the problem of protecting against forged information exchanged in gossip services. We propose a solution technique for each problem; both techniques are general enough to be applied to distinct service implementations. As gossip protocols, our solutions are based on stochastic behavior and are fully decentralized. In addition, each technique’s behaviour is abstracted by a general primitive function extending the basic gossip scheme; this approach allows the adoptions of our solutions with minimal changes in different scenarios. We provide an extensive experimental evaluation to support the effectiveness of our techniques. Basically, these techniques aim to be building blocks or P2P architecture guidelines in building more resilient and more secure P2P services.

Compatibilità aeronautica. Definizione dei vincoli fisici per le aree limitrofe all'Aeroporto "G. Marconi" di Bologna

Per garantire la sicurezza di tutte le operazioni in volo (avvicinamento, decollo, holding, ecc..) il decreto legge del 15 marzo del 2006 n. 151 ha imposto la redazione di opportune cartografie basate sul Regolamento ENAC per la Costruzione e l’Esercizio degli Aeroporti e sulla normativa internazionale ICAO così da poterle annettere agli Strumenti Urbanistici del territorio e governare lo sviluppo delle costruzioni. La sicurezza delle operazioni in volo è garantita attraverso delle Superfici di Delimitazione Ostacoli che impongono dei vincoli plano-altimetrici nelle aree limitrofe agli Aeroporti, quindi costruzioni, alberi e lo stesso terreno non devono forare queste superfici altrimenti diventerebbero “Ostacoli” alla navigazione aerea. Per gli ostacoli già presenti sono definiti dei provvedimenti da adottarsi in funzione della superficie che questi forano: potranno essere abbattuti se ricadenti in aree critiche come in prossimità delle piste oppure essere segnalati in mappe in uso ai piloti e anche con segnali visivi posizionati sugli stessi. Per quanto riguarda le future costruzioni, queste non potranno mai diventare Ostacolo in quanto sarà obbligatorio rispettare i vincoli plano-altimetrici. La tesi di laurea in questione vuole illustrare come si è arrivati alla redazione delle sopraccitate mappe nel caso specifico dell'Aeroporto Guglielmo Marconi di Bologna; sono analizzate nel primo capitolo le caratteristiche fisiche degli Aeroporti per acquisire una certa padronanza su termini tecnici che compaiono nei capitoli successivi (è inoltre presente un glossario). Nel secondo capitolo è individuato il percorso normativo che ha portato alla redazione dell’ultima revisione al Codice della Navigazione. Il capitolo 3 introduce le superfici di delimitazione ostacoli secondo quanto esposto nel Regolamento per la Costruzione e l’Esercizio degli Aeroporti di ENAC; il capitolo 4 è dedicato al lay-out dell’Aeroporto Guglielmo Marconi di Bologna. Infine la tesi si conclude con il capitoli 5 nel quale sono esposte le fasi e le metodologie usate per la realizzazione delle planimetrie e con il capitolo 6 in cui si discute delle problematiche sorte a causa dell’orografia del territorio che deve tenersi nella giusta considerazione per la definizione dei suddetti vincoli aeronautici.

Modelli di scambio termico in pozzo sulla base della caratterizzazione geotermica di un reservoir a bassa entalpia: studio di sensitività sulla efficienza dei sistemi di condizionamento a pompa di calore

Tra i temi di attualità, quello del risparmio energetico è tra i più dibattuti negli ultimi anni; tale tema è strettamente correlato al problema del riscaldamento globale, infatti, mentre sul prossimo esaurimento delle risorse energetiche tradizionali non vi sono ancora certezze assolute, per quanto riguarda l’azione nociva dei gas serra, la Comunità Scientifica Internazionale si ritrova d’accordo su una netta presa di posizione contro l’emissione di tali sostanze, provocata in larga parte dall’utilizzo dei combustibili fossili. In questo contesto, l’Unione Europea sta promuovendo la diffusione di tecnologie che non prevedano l’utilizzo di gas, petrolio o carbone, soprattutto per il settore dell’edilizia, ove una corretta progettazione e l’utilizzo di tecnologie non convenzionali può portare alla riduzione anche dell’80% dei consumi, con conseguente abbattimento delle emissioni. Tra questi interventi innovativi, il più comune e conosciuto è sicuramente quello del solare termico e fotovoltaico; ma ne esistono anche di altri, ancora non molto pubblicizzati in Italia, ma ampiamente conosciuti e utilizzati in altri paesi dell’Unione. Tra questi, vi è il sistema di riscaldamento analizzato in questa tesi: la pompa di calore geotermica. Tale sistema, come verrà spiegato nell’elaborato di laurea, ha indubbi vantaggi economici, energetici ed ambientali, a fronte di una non trascurabile spesa iniziale. Attualmente, nel Nord Italia, si incominciano a vedere impianti di questo tipo, sulla scia del successo riscontrato nei paesi confinanti (in particolare Austria e Svizzera). La progettazione si basa attualmente su modelli statici, sviluppati dall’Università Svizzera del Canton Ticino, per l’utilizzo della pompa di calore nel territorio alpino. Obiettivo della tesi, è la verifica di tali modelli, di cui si è venuto a conoscenza grazie alla collaborazione con l’Università SUPSI, sulle condizioni idrogeologiche della Pianura Padana, soffermandosi su alcuni parametri fondamentali della progettazione di una pompa di calore geotermica, quali la conduttività e la capacità termica volumetrica dei terreni incontrati, la presenza di falde, ed i parametri geometrici del pozzo, al fine di dare una valutazione tecnica ed economica dell’impianto. Tali analisi è stata infatti fino ad ora affrontata in maniera sommaria dai perforatori, che eseguono generalmente sempre lo stesso modello di pozzo geotermico, sulla base degli esempi consolidati di Svizzera e Germania. Alcune misure di temperatura in situ sono state rilevate in collaborazione con la società Geotermia SRL di Mantova, ditta specializzata nella perforazione di pozzi geotermici (tale esperienza è parte centrale dell’estratto “Laboratorio di Tesi Ls”), mentre la parte modellistica della tesi è stata sviluppata in collaborazione con lo studio di progettazione Studio Seta SRL di Faenza, il cui stabile è climatizzato in parte con una pompa di calore geotermica.