Roberto Casadei, Alessandro Aldini, Mirko Viroli

Software Engineering and Formal Methods, cap. 34, pp. 507–522
Lecture Notes in Computer Science 10729(10729),  2018
Springer International Publishing
Antonio Cerone, Marco Roveri (a cura di)

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 of 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 a 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 of it. 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. To better understand the fragility of aggregate systems in face of attacks and investigate possible countermeasures, in this paper we consider the paradigmatic case of the gradient algorithm, analysing the impact of offences and the mitigation afforded by the adoption of trust mechanisms.

 @InProceedings{CAV-FOCLASA2017-LNCS10729,
author={Casadei, Roberto and Aldini, Alessandro and Viroli, Mirko},
editor={Cerone, Antonio and Roveri, Marco},
title={Combining Trust and Aggregate Computing},
booktitle={Software Engineering and Formal Methods},
year={2018},
publisher={Springer International Publishing},
 series    = {Lecture Notes in Computer Science},
 volume    = {10729},
pages={507--522},
abstract={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 of 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 a 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 of it. 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. To better understand the fragility of aggregate systems in face of attacks and investigate possible countermeasures, in this paper we consider the paradigmatic case of the gradient algorithm, analysing the impact of offences and the mitigation afforded by the adoption of trust mechanisms.},
isbn={978-3-319-74781-1}

Tags:

Pubblicazione

— autori/autrici

Roberto Casadei, Alessandro Aldini, Mirko Viroli

— a cura di

Antonio Cerone, Marco Roveri

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

Software Engineering and Formal Methods

— collana

Lecture Notes in Computer Science

— volume

10729

— numero

10729

— capitolo

34

— pagine

507–522

— articolo n.

34

— data di pubblicazione

2018

URL

pagina originale  |  PDF originale

Identificatori

— DOI

10.1007/978-3-319-74781-1_34

— Scopus

2-s2.0-85042100191

— print ISBN

978-3-319-74781-1

BibTeX

— BibTeX ID
CAV-FOCLASA2017-LNCS10729
— BibTeX category
inproceedings

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