Roberto Casadei, Alessandro Aldini, Mirko Viroli  

Recent trends such as the Internet of Things and pervasive computing demand for novel engineering approaches able to support the specification and scalable runtime execution of adaptive behaviour for large collections of interacting devices. Aggregate Computing is one such approach, formally founded in the field calculus, which enables programming of device aggregates by a global stance, through functional composition of self-organisation patterns that is turned automatically into repetitive local computations and gossip-like interactions. However, the logically decentralised and open nature of such algorithms and systems presumes a fundamental cooperation of the devices involved: an error in a device or a focused attack may significantly compromise the computation outcome and hence the algorithms built on top. For this reason, in this paper, we move the first steps towards attack-resistant aggregate computations. We propose trust as a framework to detect, ponder or isolate voluntary/involuntary misbehaviours, with the goal of mitigating the influence on the overall computation. On top of this, we consider recommendations in order to provide more reactivity and stability through the sharing of individual perceptions. To better understand the fragility of aggregate systems in face of attacks and investigate the extent of the mitigation afforded by the adoption of trust mechanisms, we consider the paradigmatic case of the gradient algorithm. Experiments are carried out to analyse the sensitivity of the adopted trust framework to malevolent actions and to study the impact of different factors on the error committed by trust-based gradients under attack. Finally, in a case study of the spatial channel algorithm, it is shown how the protection afforded by attack-resistant gradients can be effectively propagated to higher-level building blocks.

(keywords) Aggregate programming, Gradient, Information speed, Reliability, Spatial computing

Science of Computer Programming 167, pages 114137,  2018, Elsevier Science B.V..

@article{CAV-SCP2018,
Author = {Casadei, Roberto and Aldini, Alessandro and Viroli, Mirko},
Doi = {10.1016/j.scico.2018.07.006},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Aggregate programming, Gradient, Information speed, Reliability, Spatial computing},
Pages = {114--137},
Title = {Towards attack-resistant Aggregate Computing using trust mechanisms},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642318303046},
Volume = 167,
Year = 2018}

Tags:
    

Publication

Towards attack-resistant Aggregate Computing using trust mechanisms

— status

published  

— authors

Roberto Casadei, Alessandro Aldini, Mirko Viroli

URLs & IDs

original page

— DOI

10.1016/j.scico.2018.07.006

— print ISSN

0167-6423

BibTeX

— BibTeX ID
CAV-SCP2018
— BibTeX category
article

APICe

— journal/series
SCP

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY