INDICAZIONE DELLE MODALITA' DI CONTROLLO

Alla fine di ogni semestre verrà presentato un deliverable (rapporto) per ogni task del progetto. Per i singoli task il rapporto verrà sviluppato come mostrato in seguito.

Task 1: Studio e sviluppo del modello formale.
– Lista delle pubblicazioni in atti da congressi e journals scientifici di rilevanza internazionale. La qualità del prototipo aumenta all'aumentare del numero di pubblicazioni e della rilevanza internazionale dei congressi e dei journals nei quali vengono presentate. Altro indice di qualità è dato dalle collaborazioni scientifiche con altre realtà che operano nell'ambito dell'offuscamento e watermarking di codice.
– Risultati formali ottenuti riguardo alla capacità del modello di gestire codice di grande dimensione, con attenzione alla complessità attesa.
– Modellazione delle possibili interrelazioni e combinazioni di tecnologie differenti. La qualità del prodotto aumenta con la capacità di combinare diversi approcci.
– Confronto teorico con i prototipi già esistenti, in particolare con DIABLO e SANDMARK. Tali risultati dovranno mostrare il miglioramento apportato dal modello proposto.
Task 2: Implementazione del modello e delle relative tecniche di offuscamento e watermarking del codice.
– Presentazione dei linguaggi di programmazione a cui è possibile applicare le tecniche di offuscamento e watermarking del codice. In particolare la qualità del prototipo cresce se questo può essere applicato a linguaggi ad oggetti come C++, Java e Visual Basic.
– Elenco delle trasformazioni di codice che sono state implementate. Maggiore è il numero delle trasformazione realizzate maggiore è la qualità del prodotto.
– Definizione di uno standard per la definizione e implementazione di strumenti di modulazione del grado di sicurezza e robustezza di watermarks e offuscamento. La qualità del progetto aumenta con l'elasticità della modulazione.
– Dimensione dei programmi che possono essere gestiti. Più alta è la dimensione dei programmi che possono essere trattati, maggiore è la qualità del prototipo.
– Analisi della possibilità di controllare la fase di progettazione dei watermarks e delle tecniche di offuscamento in termini della loro robustezza e dei costi di trasformazione. Si desidera in particolare limitare la degradazione delle prestazioni mantenendo un alto livello di robustezza e protezione.
– Lista delle pubblicazioni in atti da congressi scientifici di rilevanza internazionale nell'ambito dello sviluppo di prototipi. La qualità del prototipo aumenta all'aumentare del numero di pubblicazioni e della rilevanza internazionale dei congressi nei quali vengono presentate.
Task 3: Interfaccia grafica dei programmi
– Analisi della semplicità di utilizzo del prototipo da parte di diverse categorie di utenti.
– Elenco delle trasformazioni di codice per cui è prevista una visualizzazione grafica intuitiva delle modifiche apportate.
Task 4: Test e Valutazione
– Risultati della valutazione del prototipo su benchmarks noti in letteratura, in larga parte programmi C e C++ (gcc, gzip, gap...).
– Confronto dei risultati sperimentali ottenuti con quelli di prototipi esistenti come DIABLO e SANDMARK, sottolineando le migliorie apportate.
– Analisi dei risultati ottenuti in termini di robustezza del watermarking e dell'offuscamento di codice. La qualità del prototipo aumenta con l'aumentare del grado di protezione e di robustezza del watermarking e dell'offuscamento, e con il limitare la degradazione delle prestazioni.
– Confronto dei risultati di robustezza e prestazioni ottenuti con quelli garantiti da prototipi esistenti comeDIABLO e SANDMARK.