Towards security-aware aggregate computing

Utilizzare i singoli dispositivi come astrazione di base nei moderni algoritmi di programmazione pone dei limiti progettuali. La complessità nel gestire le interazioni ed i comportamenti può portare ad errori di progettazione, oltre che aumentare notevolmente il tempo di sviluppo. L'aggregate computing è un paradigma che cerca di risolvere queste problematiche. Mette a disposizione funzioni basate sul field calculus, per orchestrare dispositivi mobili situati nello spazio fisico, definiti in letteratura come campi computazionali. Gli attuali algoritmi di programmazione aggregata non tengono conto della possibilità che alcuni dispositivi possano comportarsi in modo scorretto o opportunistico. Essendo questi algoritmi spesso utilizzati in sistemi critici è essenziale affrontare il problema. In questa trattazione si andranno a sviluppare soluzioni e proporre idee per nuovi approcci ibridi che utilizzano i sistemi di trust.