Mattia Salnitri

Dr. Mattia Salnitri

Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, 20133 Milano, Italy
orcid

Research Focus & Metrics

Academic Career Length

9Years (2018-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
13 November 2022 in Future Generation Computer Systems
Verified
Journal Article
Open access
JKJulius Köpke
Julius Köpke
GMGiovanni Meroni
Giovanni Meroni
MSMattia Salnitri
Mattia Salnitri

7 February 2020 in Software and Systems Modeling
Verified
Journal Article
Open access
PDF file
QRQusai Ramadan
Qusai Ramadan
DSDaniel Strüber
Daniel Strüber
MSMattia Salnitri
Mattia Salnitri
JJJan Jürjens
Jan Jürjens
VRVolker Riediger
Volker Riediger
SSSteffen Staab
Steffen Staab
Requirements are inherently prone to conflicts. Security, data-minimization, and fairness requirements are no exception. Importantly, undetected conflicts between such requirements can lead to severe effects, including privacy infringement and legal sanctions. Detecting conflicts between security, data-minimization, and fairness requirements is a challenging task, as such conflicts are context-specific and their detection requires a thorough understanding of the underlying business processes. For example, a process may require anonymous execution of a task that writes data into a secure data storage, where the identity of the writer is needed for the purpose of accountability. Moreover, conflicts not arise from trade-offs between requirements elicited from the stakeholders, but also from misinterpretation of elicited requirements while implementing them in business processes, leading to a non-alignment between the data subjects’ requirements and their specifications. Both types of conflicts are substantial challenges for conflict detection. To address these challenges, we propose a BPMN-based framework that supports: (i) the design of business processes considering security, data-minimization and fairness requirements, (ii) the encoding of such requirements as reusable, domain-specific patterns, (iii) the checking of alignment between the encoded requirements and annotated BPMN models based on these patterns, and (iv) the detection of conflicts between the specified requirements in the BPMN models based on a catalog of domain-independent anti-patterns. The security requirements were reused from SecBPMN2, a security-oriented BPMN 2.0 extension, while the fairness and data-minimization parts are new. For formulating our patterns and anti-patterns, we extended a graphical query language called SecBPMN2-Q. We report on the feasibility and the usability of our approach based on a case study featuring a healthcare management system, and an experimental user study.

20 July 2019 in Software and Systems Modeling
Verified
Journal Article
Closed access
PDF file
MSMattia Salnitri
Mattia Salnitri
KAKonstantinos Angelopoulos
Konstantinos Angelopoulos
MPMichalis Pavlidis
Michalis Pavlidis
VDVasiliki Diamantopoulou
Vasiliki Diamantopoulou
Haralambos MouratidisHaralambos Mouratidis
Haralambos Mouratidis
PGPaolo Giorgini
Paolo Giorgini

17 May 2018
Verified
Book Chapter
Closed access
PDF file
PPPierluigi Plebani
Pierluigi Plebani
MSMattia Salnitri
Mattia Salnitri
MVMonica Vitali
Monica Vitali

7 June 2018
Verified
Book Chapter
Closed access
PDF file
MSMattia Salnitri
Mattia Salnitri
MAMahdi Alizadeh
Mahdi Alizadeh
DGDaniele Giovanella
Daniele Giovanella
Nicola ZannoneNicola Zannone
Nicola Zannone
PGPaolo Giorgini
Paolo Giorgini

9 November 2022 in IEEE Transactions on Cloud Computing
Verified
Journal Article
Open access
GMGiulia Mangiaracina
Giulia Mangiaracina
PPPierluigi Plebani
Pierluigi Plebani
MSMattia Salnitri
Mattia Salnitri
MVMonica Vitali
Monica Vitali
Data as a Service (DaaS) offers an effective provisioning model able to exploit the advantages of cloud computing in terms of accessibility and scalability when data providers need to make their data available to different data consumers. Nevertheless, in settings where data are generated at the edge and they need to be propagated (e.g., Industry 4.0, Smart Cities), DaaS model suffers of some limitations: data transfer from the edge to the cloud – and viceversa – could require a significant time and privacy issues could hamper the possibility to move the data. Goal of this paper is to propose a DaaS model based on the Fog Computing paradigm, which combines the advantages of both cloud and edge computing. The proposed solution implements an adaptive multi-agent system where each agent autonomously manages the placement of data in the most convenient location considering the quality of service requirements of the user that it is serving. To guarantee the collaboration of the agents without imposing a centralized control, a reinforcement learning algorithm will be enacted to balance between the local optimum for the single data consumers and the satisfaction of the global requirements of all consumers.