Formal analysis and novel protocol designs

Il progetto "Formal analysis and novel protocol design" ha lo scopo di sviluppare nuove soluzioni informatiche per la distribuzione di informazioni in nuovi ambiti applicativi quali le reti wireless. Il principio della comunicazione in base al contenuto (content-based communication) è semplice: la rete raccoglie informazioni senza indicazione di un indirizzo di destinazione; gli utenti specificano all´interno della rete i contenuti dell´informazione alla quale sono interessati e che intendono ricevere regolarmente; la rete assume il ruolo di intermediario indirizzando i messaggi agli utenti a seconda dei contenuti. Il sistema, il cui vantaggio è la gestione e la distribuzione automatica, è idoneo per molteplici applicazioni, in particolare per gli utenti che devono ricevere informazioni in modo continuo, efficace ed economico. L´efficienza di questi sistemi dipende dalla programmazione per la registrazione dei profili di interesse e la distribuzione dell´informazione.