Computer Engineering

This paper presents JavaSPI, a "model-driven" development framework that allows the user to reliably develop security protocol implementations in Java, starting from abstract models that can be verified formally. The main novelty of this approach stands in the use of Java as both a modeling language and the implementation language. By using the SSL handshake protocol as a reference example, this paper illustrates the JavaSPI framework.

Multistride automata speed up input matching because each multistriding transformation halves the size of the input string, leading to a potential 2x speedup. However, up to now little effort has been spent in optimizing the building process of multistride automata, with the result that current algorithms cannot be applied to real-life, large automata such as the ones used in commercial IDSs, because the time and the memory space needed to create the new automaton quickly becomes unfeasible. In this paper, new algorithms for efficient building of multistride NFAs for packet inspection are presented, explaining how these new techniques can outperform the previous algorithms in terms of required time and memory usage.

Le minacce dello spazio cibernetico stanno proliferando. Le piu diffuse politiche di sicurezza stanno enfatizzando l’importanza di avere a disposizione degli emulatori in grado di introdurre un maggiore realismo nell’addestramento e nell’analisi in termini di sicurezza informatica. I Cyber Range, o poligoni virtuali, sono la risposta al bisogno di avere ambienti protetti e circoscritti dove condurre esercitazioni e ricostruire scenari ipotetici o reali, da valutare, studiare e convalidare. Questa Tesi presenta i requisiti per costruire i nodi principali all’interno di un Cyber Range e l’architettura del primo Cyber Range accademico nazionale. Il nostro obiettivo e la creazione di una rete di centri interconnessi diffusa sul territorio italiano e connessi alle Universita principali, in cui ogni centro rappresenta una piattaforma completa e consistente per la ricerca, la validazione e la formazione in termini di sicurezza informatica. Il primo nodo della rete e stato gia costruito a T...