@proceedings {640,
	title = {Assessing Dependability of Web Services under Moving Target Defense Techniques},
	journal = {30th European Safety and Reliability Conference (ESREL)},
	year = {2020},
	month = {09/2020},
	pages = {1988-1995},
	publisher = {RESEARCH PUBLISHING},
	address = {Venice},
	abstract = {<p>Moving Target Defense (MTD) is a quite effective solution for alleviating the impact of attacks from malicious sources or attackers taken from biological/military environments. It works as a proactive defense approach aiming at enhancing the target system security by periodically changing its configuration to reduce the exposure to vulnerabilities and opportunities for attack. Several MTD approaches have been studied in the literature, and one of the simplest and most effective is migrating the service among different nodes of a distributed computing system.<br />
To evaluate the effectiveness of migration-based MTD policies, it is crucial adopting proper cybersecurity metrics and tools for their assessment, which is highly challenging due to ICT complexity in terms of a large number of nodes, attack types, workloads, migration policies, and service delays. Current solutions in MTD evaluation, mainly based on combinatorial (attack trees), game theoretic and state space-based approaches, do not or partially address such challenges altogether. This paper aims at proposing a technique based on Petri nets to overcome limitations of existing solutions. The proposed model is highly scalable and customizable through several parameters. It also allows to stochastically characterize the underlying behaviors and phenomena through non-exponential distributions, obtaining both transient and steady-state metrics. Numerical experiments are performed to demonstrate the capability of the proposed approach in assessing the impact of MTD migration techniques on the system-service dependability, including security, availability and performance.</p>
},
	issn = {978-981-14-8593-0 },
	doi = {10.3850/978-981-14-8593-0_4175-cd},
	author = {Distefano, Salvatore and Scarpa, Marco and Chang, Xiaolin and Bobbio, Andrea}
}
@inbook {Bruneo2019,
	title = {A Cloud-Based Overlay Networking for the Internet of Things: Quantitative Evaluation},
	booktitle = {Systems Modeling: Methodologies and Tools},
	year = {2019},
	pages = {237{\textendash}250},
	publisher = {Springer International Publishing},
	organization = {Springer International Publishing},
	address = {Cham},
	abstract = {Integration of the Internet of Things (IoT) with the Cloud may lead to a range of different architectures and solutions. Our efforts in this domain are mainly geared toward making IoT systems available as service-oriented infrastructure. Under Infrastructure-as-a Service (IaaS) scenarios, network virtualization is a core building block of any solution, even more so for IoT-focused Cloud providers. Enabling mechanisms are required to support virtualization of the networking facilities for IoT resources that are managed by the Cloud. This work describes an approach to network virtualization based on popular off-the-shelf tools and protocols in place of application-specific logic, acting as a blueprint in the design of the Stack4Things architecture, an OpenStack-derived framework to provide IaaS-like services from a pool of IoT devices. We quantitatively evaluate the underlying mechanisms demonstrating that the proposed approach exhibits mostly comparable performance with respect to standard technologies for virtual private networks, or at least good enough for the kind of underlying hardware, e.g., smart boards, while still representing a more flexible solution.},
	isbn = {978-3-319-92378-9},
	doi = {10.1007/978-3-319-92378-9_15},
	url = {https://doi.org/10.1007/978-3-319-92378-9_15},
	author = {Bruneo, Dario and Distefano, Salvatore and Longo, Francesco and Merlino, Giovanni and Puliafito, Antonio},
	editor = {Puliafito, Antonio and Trivedi, Kishor S.}
}
@article {10.1145/3309705,
	title = {Enabling Workload Engineering in Edge, Fog, and Cloud Computing through OpenStack-Based Middleware},
	journal = {ACM Trans. Internet Technol.},
	volume = {19},
	number = {2},
	year = {2019},
	month = {April},
	publisher = {Association for Computing Machinery},
	address = {New York, NY, USA},
	keywords = {Big Data, cloud computing, Edge, Fog, IoT, offloading, Smart Environment, Stack4Things},
	issn = {1533-5399},
	doi = {10.1145/3309705},
	url = {https://doi.org/10.1145/3309705},
	author = {Merlino, Giovanni and Dautov, Rustem and Distefano, Salvatore and Bruneo, Dario}
}
@inbook { 11570_3140174,
	title = {Crowdsourcing and stigmergic approaches for (swarm) intelligent transportation systems},
	booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	volume = {10745},
	year = {2018},
	publisher = {Springer Verlag},
	organization = {Springer Verlag},
	address = {Heidelberg},
	keywords = {ITS, MANETs, Mobile Crowdsensing, Stigmergy, Traffic engineering},
	isbn = {9783319745206} pages = {616{\textendash}626},
	doi = {10.1007/978-3-319-74521-3_64},
	url = {http://springerlink.com/content/0302-9743/copyright/2005/},
	author = {Distefano, Salvatore and Merlino, Giovanni and Puliafito, Antonio and Cerotti, Davide and Dautov, Rustem}
}
@article { 11570_3140167,
	title = {Data agility through clustered edge computing and stream processing},
	journal = {CONCURRENCY AND COMPUTATION},
	year = {2018},
	pages = {1{\textendash}15},
	keywords = {cloud computing, clustered edge computing, data agility, Edge computing, Internet of Things, Stream processing},
	doi = {10.1002/cpe.5093},
	url = {http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1532-0634},
	author = {Dautov, Rustem and Distefano, Salvatore and Bruneo, Dario and Longo, Francesco and Merlino, Giovanni and Puliafito, Antonio}
}
@article { 11570_3131101,
	title = {Metropolitan intelligent surveillance systems for urban areas by harnessing IoT and edge computing paradigms},
	journal = {SOFTWARE-PRACTICE \& EXPERIENCE},
	volume = {48},
	year = {2018},
	pages = {1475{\textendash}1492},
	keywords = {Big Data, cloud computing, distributed smart camera, Edge computing, intelligent surveillance system, IoT, Smart city, Software, Stack4Things, Stream processing},
	doi = {10.1002/spe.2586},
	url = {http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X},
	author = {Dautov, Rustem and Distefano, Salvatore and Bruneo, Dario and Longo, Francesco and Merlino, Giovanni and Puliafito, Antonio and Buyya, Rajkumar}
}
@inbook { 11570_3116930,
	title = {Preface},
	booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	volume = {10517},
	year = {2017},
	publisher = {Springer Verlag},
	organization = {Springer Verlag},
	address = {Heidelberg},
	keywords = {Computer Science (all), Theoretical Computer Science},
	isbn = {9783319679099} pages = {VI{\textendash}VII},
	url = {http://springerlink.com/content/0302-9743/copyright/2005/},
	author = {Puliafito, Antonio and Bruneo, Dario and Distefano, Salvatore}
}
@conference { 11570_3102031,
	title = {Turning Messina into a Smart City: the $\#$SmartME experience},
	booktitle = {Smart Cities in the Mediterranean},
	year = {2017},
	publisher = {Springer},
	organization = {Springer},
	address = {Heidelberg},
	isbn = {978-3-319-54557-8} isbn = {978-3-319-54558-5} pages = {135{\textendash}152},
	doi = {10.1007/978-3-319-54558-5_6},
	author = {Bruneo, Dario and Distefano, Salvatore and Longo, Francesco and Merlino, Giovanni and Puliafito, Antonio}
}
@inbook {Bruneo2016,
	title = {An Analytical Framework to Deal with Changing Points and Variable Distributions in Quality Assessment},
	booktitle = {Principles of Performance and Reliability Modeling and Evaluation: Essays in Honor of Kishor Trivedi on his 70th Birthday},
	year = {2016},
	pages = {27{\textendash}48},
	publisher = {Springer International Publishing},
	organization = {Springer International Publishing},
	address = {Cham},
	isbn = {978-3-319-30599-8},
	doi = {10.1007/978-3-319-30599-8_2},
	url = {http://dx.doi.org/10.1007/978-3-319-30599-8_2},
	author = {Bruneo, Dario and Distefano, Salvatore and Longo, Francesco and Scarpa, Marco},
	editor = {Fiondella, Lance and Puliafito, Antonio}
}
@article {10.1016/j.future.2015.09.017,
	title = {Mobile Crowdsensing as a Service},
	journal = {Future Gener. Comput. Syst.},
	volume = {56},
	number = {C},
	year = {2016},
	month = {March},
	pages = {623{\textendash}639},
	publisher = {Elsevier Science Publishers B. V.},
	address = {NLD},
	keywords = {Cloud, Infrastructure as a Service, IoT, runtime customization, sensors and actuators, volunteer contribution},
	issn = {0167-739X},
	doi = {10.1016/j.future.2015.09.017},
	url = {https://doi.org/10.1016/j.future.2015.09.017},
	author = {Merlino, Giovanni and Arkoulis, Stamatis and Distefano, Salvatore and Papagianni, Chrysa and Puliafito, Antonio and Papavassiliou, Symeon}
}
