Students

2005

Angelo Biscotti, "Analisi e test di un application-based IDS per la correlazione di allarmi" Tesi di Laurea (triennale) in Ingegneria Informatica e dell'Automazione, Facoltà di Ingegneria, Università Politecnica delle Marche (with G. Capuzzi) (October 2005)

Vincenzo Casini, "Progettazione e realizzazione di una base di dati con interfaccie in Java" Tesi di Laurea (triennale) in Ingegneria Informatica e dell'Automazione, Facoltà di Ingegneria, Università Politecnica delle Marche (in collaboration with EVIN S.r.l.) (October 2005)

Amedeo Micantoni, "Analisi e test di sendori IDS di tipo network based per la correlzione di allarmi" Tesi di Laurea (triennale) in Ingegneria Informatica e dell'Automazione, Facoltà di Ingegneria, Università Politecnica delle Marche (with G. Capuzzi) (October 2005)

Federico Robuffo, "Sicurezza nelle reti wireless: lo standard IEEE 802.1x e il server RADIUS" Tesi di Laurea (triennale) in Ingegneria Informatica e dell'Automazione, Facoltà di Ingegneria, Università Politecnica delle Marche (in collaboration with General Impianti S.r.l.) (October 2005)

Roberto Rossini, "Analisi e test di host IDS per la correlazione di allarmi" Tesi di Laurea (triennale) in Ingegneria Informatica e dell'Automazione, Facoltà di Ingegneria, Università Politecnica delle Marche (with G. Capuzzi) (October 2005)

Luca Sassaroli, "Analisi e rimozione dei bug di procedura" Tesi di Laurea (triennale) in Ingegneria Informatica e dell'Automazione, Facoltà di Ingegneria, Università Politecnica delle Marche (in collaboration with NETA S.p.A.) (October 2005)

Marco Tittarelli, "Protocolli di cooperazione per la gestione di servizi con agenti FIPA" Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università Politecnica delle Marche (with F. Pagliarecci). (October 2005)

Egidio Cardinale, "Studio delle possibili sinergie tra un N-IDS ed un H-IDS" Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università Politecnica delle Marche (with M. Panti). (July 2005)

Francesca Capriotti, "Realizzazione di uno strumento per l'esecuzione di test automatici di regressione con tipologia black box" Tesi di Laurea (triennale) in Ingegneria Informatica e dell'Automazione, Facoltà di Ingegneria, Università Politecnica delle Marche (in collaboration with NETA S.p.A.) (July 2005)

Elisa Cesarano, "Progettazione e realizzazione di una interfaccia tra due applicazioni software" Tesi di Laurea (triennale) in Ingegneria Informatica e dell'Automazione, Facoltà di Ingegneria, Università Politecnica delle Marche (in collaboration with APRA Sistemi S.r.l.) (July 2005)

Luca Campanelli, "Progettazione e realizzazione di uno strumento software di ausilio alla sicurezza informatica" Tesi di Laurea (triennale) in Ingegneria Informatica e dell'Automazione, Facoltà di Ingegneria, Università Politecnica delle Marche (in collaboration with S.T.eP. S.r.L.) (March 2005)

Daniele Gianangeli, "Strategie di risposta alle intrusioni in un sistema informatico", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università Politecnica delle Marche (with G. Capuzzi and M. Panti). (March 2005)

Alessandro Zega, "Metodologie di configurazione di un server sicuro" Tesi di Laurea (triennale) in Ingegneria Informatica e dell'Automazione, Facoltà di Ingegneria, Università Politecnica delle Marche (March 2005)

2004

Mauro Gironelli, "Progettazione e realizzazione di un ``Ontology Agent''" Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università Politecnica delle Marche (with M. Panti and F. Pagliarecci), (November 2004)

Antonio Lupi, "Sicurezza delle comunicazioni in Internet: le tecniche anti-spamming" Tesi di Laurea (triennale) in Ingegneria delle Telecomunicazioni, Facoltà di Ingegneria, Università Politecnica delle Marche (with C. Cioffi), (November 2004)

Gianluca Capuzzi, "Efficacia di un IDS con configurazione dinamica del firewall", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università Politecnica delle Marche (with M. Panti), (June 2004).

Gianluca Giaccaglia, "Realizzazione di un ambiente di sviluppo per agenti BDI", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università Politecnica delle Marche (with M. Panti, and F. Pagliarecci), (June 2004).

Simone Tacconi, "Automatic Verification of Security in Cryptographic Protocols", Dottorato di Ricerca in Sistemi Artificiali Intelligenti, Facoltà di Ingegneria, Università Politecnica delle Marche (with M. Panti), (March 2004).

Federica Candelora, "Progettazione di un ``Ontology Agent''", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università Politecnica delle Marche (with M. Panti, F. Pagliarecci, and L. Penserini), (March 2004).

Leandro Luccerini, "Analisi e progettazione di un sistema per la gestione in remoto di dispositivi", Tesi di Laurea (triennale) in Ingegneria Informatica e dell'Automazione, Facoltà di Ingegneria, Università Politecnica delle Marche (in collaboration with GIGA srl) (March 2004).

2003

Christian Vetrano, "Progetto e realizzazione di un wrapper per la gestione di workflows", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università Politecnica delle Marche (with M. Panti). (December 2003)

Carlo Gaspari, "Progettazione e realizzazione di una applicazione per il web con il framework STRUTS", Tesi di Laurea (triennale) in Ingegneria Informatica e dell'Automazione, Facoltà di Ingegneria, Università Politecnica delle Marche (November 2003).

Antonio Basti, "Analisi delle prestazioni di una ``Rete sicura''", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università Politecnica delle Marche (with M. Panti and S. Tacconi). (July 2003)

Mirco Curzi, "Interfaccia Web per piattaforma ad agenti", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università Politecnica delle Marche (with M. Panti and L. Penserini). (July 2003)

Franco Girotti, "Progetto e realizzazione di un Agent Communication Channel ed un Agent Management System conformi alle specifiche FIPA 2000" Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università Politecnica delle Marche (with M. Panti and L. Penserini). (July 2003)

Paolo Pierangeli, "Analisi delle prestazioni di un sistema operativo con controllo di accesso MAC", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università Politecnica delle Marche (with M. Panti and S. Tacconi). (June 2003)

Loris Penserini, "Integration and Coordination in both Mediator-Based and Peer-to-Peer Systems", Dottorato di Ricerca in Ingegneria dell'Informazione e sua applicazione nei Servizi e nell'Industria, Facoltà di Ingegneria, Università Politecnica delle Marche (with M. Panti). (April 2003)

Simone Buratti, "Progetto e realizzazione di un ambiente di test per sistemi a mediatore" Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università Politecnica delle Marche (with M. Panti and L. Penserini). (March 2003)

Marco Orlando, "Tecnologie ad agenti per la gestione della catena di approvigionamento" Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università Politecnica delle Marche (with M. Panti and L. Penserini). (March 2003)

Andrea Petrini, "Gestione di ``Workflows'' su architetture ad agenti" Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università Politecnica delle Marche (with M. Panti and L. Penserini). (March 2003)

2002

Alessandro Giammarini, "Tecnologie crittografiche per la sicurezza delle comunicazioni su Internet", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and S. Tacconi). (December 2002)

Domenico Luciani, "Agenti facilitatori per il commercio elettronico (business-to-business)" Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and L. Penserini). (December 2002)

Francesco Cirillo, "Livelli di protezione e performance di una rete sicura" Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and S. Tacconi). (November 2002).

Giampaolo Rotini, "Integrazione di dati semistrutturati in un mediatore terminologico" Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and L. Penserini). (November 2002).

Alberto Lanciotti, "Verifica automatica dei requisiti di sicurezza nella basi di dati", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and S. Tacconi) (July 2002).

Fabio Massimi, "Progetto e realizzazione di un wrapper per sorgenti semistrutturate", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and L. Penserini) (July 2002).

Marco Balducci, "Verifica automatica dei requisiti di non-ripudio nei protocolli di pagamento elettronico", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and S. Tacconi) (June 2002).

Pierpaolo De Minicis, "Verifica dei requisiti di sicurezza dei sistemi multiprotocollo", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and S. Tacconi) (March 2002).

2001

Valerio Spadoni, "Strategie di cooperazione per un mediatore terminologico", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and L. Penserini) (December 2001).

Sergio Catalano, "Integrazione di "Legacy system": Il caso di una transazione bancaria", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and L. Penserini) (in collaboration with Ra Computer) (June 2001).

Johann Dimarti, "Modelli di violazioni ai protocolli per il commercio elettronico", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and S. Tacconi) (June 2001).

Luca Roganti, "Applicazione del paradigma multiagente alla verifica dei protocolli di sicurezza", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and S. Tacconi) (June 2001).

2000

Giovanni De Cesare, "Progetto e realizzazione di un «wrapper» per siti bibliografici", Tesi di Diploma in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and L. Penserini) (December 2000).

Stefano Gianfelici, "Progetto e realizzazione di un sistema basato sulla logica terminologica per l'interpretazione di sistemi concettuali", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and P. Coupey) (Socrates programme at Université Paris XIII) (December 2000).

Angela Ricciuti, "Progetto e realizzazione delle componenti di comunicazione di un wrapper per siti web", Tesi di Diploma in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and L. Penserini) (December 2000).

Daniele Bellucci, "Estensione di una piattaforma con architettura a mediatore per l'integrazione di sistemi informativi", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and L. Penserini) (November 2000).

Loïc Jay, "Vérification de protocoles de paiement électronique", Compte-rendu de TFE, Ecole Centrale de Nantes, Nantes, France, (Socrates programme at Università degli studi di Ancona) (October 2000).

Lorenzo Baldini, "Modellazione di attacchi ai protocolli di sicurezza", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti) (July 2000)

Simone Bianchi, "Un approccio CBR alla rilevanza", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with P. Puliti and A. Giretti ) (March 2000).

Ezio Delli Rocili, "Agenti mediatori per l'integrazione di sistemi informativi: un approccio case-based reasoning", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and L. Penserini) (March 2000).

Cristiano Lucesoli, "Recupero di casi in un CBR terminologico", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with P. Puliti and A. Giretti ) (March 2000).

Simone Tacconi, "Verifica formale dei protocolli di sicurezza mediante «Model Checking»", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti) (March 2000).
 

1999

Emanuele Tonucci, "Integrazione di sistemi informativi: implementazione di una piattaforma FIPA-compatibile per agenti software", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with M. Panti and L. Penserini) (November 1999).

1998

Claudio Budassi, "Piattaforma per agenti software: sicurezza e mobilità", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with G. Tascini) (December 1998).

Loris Penserini, "Piattaforma per agenti mobili: architettura e interfacciamento con server web", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with G. Tascini) (November 1998).

Fabrizio Albani, "Algoritmi di adattamento per un CBR terminologico", Tesi di Laurea in Ingegneria Elettronica, Facoltà di Ingegneria, Università degli studi di Ancona (with G. Tascini and A. Giretti ) (March 1998).


Last upgraded June, 2004

Return to my home page