Search

Your search keyword '"Marchetti, Eda"' showing total 207 results
Start Over Author "Marchetti, Eda"
207 results on '"Marchetti, Eda"'

1. 2HCDL: Holistic Human-Centered Development Lifecycle

Author

Daoudagh, Said, Marchetti, Eda, and Aktouf, Oum-El-Kheir

Subjects
Computer Science - Software Engineering
Abstract

The recent events affecting global society continuously highlight the need to change the development lifecycle of complex systems by promoting human-centered solutions that increase awareness and ensure critical properties such as security, safety, trust, transparency, and privacy. This fast abstract introduces the Holistic Human-Centered Development Lifecycle (2HCDL) methodology focused on: (i) the enforcement of human values and properties and (ii) the mitigation and prevention of critical issues for more secure, safe, trustworthy, transparent, and private development processes., Comment: S. Bernardi, T. Zoppi (Editors), "Fast Abstracts and Student Forum Proceedings - EDCC 2024 - 19th European Dependable Computing Conference, Leuven, Belgium, 8-11 April 2024"

Published
2024

2. Behavioral and Human-Centric Access Control Model in XACML Reference Architecture: Design and Implementation of EHR Case Study

Author

Farhadighalati, Nastaran, Barata, Jose, Nikghadam-Hojjati, Sanaz, Marchetti, Eda, Rannenberg, Kai, Editor-in-Chief, Soares Barbosa, Luís, Editorial Board Member, Carette, Jacques, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Stiller, Burkhard, Editorial Board Member, Stettner, Lukasz, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Rettberg, Achim, Editorial Board Member, Furnell, Steven, Editorial Board Member, Mercier-Laurent, Eunika, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, Camarinha-Matos, Luis M., editor, and Ferrada, Filipa, editor

Published
2024
Full Text
View/download PDF

3. Collaborative Network 5.0: By Design Human Values and Human-Centred Based Extended Collaborative Networks

Author

Marchetti, Eda, Nikghadam-Hojjati, Sanaz, Barata, José, Rannenberg, Kai, Editor-in-Chief, Soares Barbosa, Luís, Editorial Board Member, Goedicke, Michael, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Stiller, Burkhard, Editorial Board Member, Stettner, Lukasz, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Rettberg, Achim, Editorial Board Member, Furnell, Steven, Editorial Board Member, Mercier-Laurent, Eunika, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, Camarinha-Matos, Luis M., editor, Boucher, Xavier, editor, and Ortiz, Angel, editor

Published
2023
Full Text
View/download PDF

6. An Ontology-Based Solution for Monitoring IoT Cybersecurity

Author

Daoudagh, Said, Marchetti, Eda, Calabrò, Antonello, Ferrada, Filipa, Oliveira, Ana Inês, Barata, José, Peres, Ricardo, Marques, Francisco, Rannenberg, Kai, Editor-in-Chief, Soares Barbosa, Luís, Editorial Board Member, Goedicke, Michael, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Stiller, Burkhard, Editorial Board Member, Tröltzsch, Fredi, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Reis, Ricardo, Editorial Board Member, Furnell, Steven, Editorial Board Member, Mercier-Laurent, Eunika, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, Camarinha-Matos, Luis M., editor, Ribeiro, Luis, editor, and Strous, Leon, editor

Published
2022
Full Text
View/download PDF

7. GROOT: A GDPR-Based Combinatorial Testing Approach

Author

Daoudagh, Said, Marchetti, Eda, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Clark, David, editor, Menendez, Hector, editor, and Cavalli, Ana Rosa, editor

Published
2022
Full Text
View/download PDF

8. BIECO Runtime Auditing Framework

Author

Calabrò, Antonello, Cioroaica, Emilia, Daoudagh, Said, Marchetti, Eda, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, Gude Prego, Juan José, editor, de la Puerta, José Gaviria, editor, García Bringas, Pablo, editor, Quintián, Héctor, editor, and Corchado, Emilio, editor

Published
2022
Full Text
View/download PDF

9. An automated model-based test oracle for access control systems

Author

Bertolino, Antonia, Daoudagh, Said, Lonetti, Francesca, and Marchetti, Eda

Subjects
Computer Science - Software Engineering
Abstract

In the context of XACML-based access control systems, an intensive testing activity is among the most adopted means to assure that sensible information or resources are correctly accessed. Unfortunately, it requires a huge effort for manual inspection of results: thus automated verdict derivation is a key aspect for improving the cost-effectiveness of testing. To this purpose, we introduce XACMET, a novel approach for automated model-based oracle definition. XACMET defines a typed graph, called the XAC-Graph, that models the XACML policy evaluation. The expected verdict of a specific request execution can thus be automatically derived by executing the corresponding path in such graph. Our validation of the XACMET prototype implementation confirms the effectiveness of the proposed approach., Comment: 7 pages

Published
2018
Full Text
View/download PDF

10. On-line tracing of XACML-based policy coverage criteria

Author

Lonetti, Francesca and Marchetti, Eda

Subjects
Computer Science - Software Engineering
Abstract

Currently, eXtensible Access Control Markup Language (XACML) has becoming the standard for implementing access control policies and consequently more attention is dedicated to testing the correctness of XACML policies. In particular, coverage measures can be adopted for assessing test strategy effectiveness in exercising the policy elements. This study introduces a set of XACML coverage criteria and describes the access control infrastructure, based on a monitor engine, enabling the coverage criterion selection and the on-line tracing of the testing activity. Examples of infrastructure usage and of assessment of different test strategies are provided., Comment: 9 pages, IET Software, available online http://digital-library.theiet.org/content/journals/10.1049/iet-sen.2017.0351

Published
2018
Full Text
View/download PDF

11. Bridging Trust in Runtime Open Evaluation Scenarios

Author

Cioroaica, Emilia, Buhnova, Barbora, Marchetti, Eda, Schneider, Daniel, Kuhn, Thomas, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Bellatreche, Ladjel, editor, Chernishev, George, editor, Corral, Antonio, editor, Ouchani, Samir, editor, and Vain, Jüri, editor

Published
2021
Full Text
View/download PDF

12. GRADUATION: A GDPR-Based Mutation Methodology

Author

Daoudagh, Said, Marchetti, Eda, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Paiva, Ana C. R., editor, Cavalli, Ana Rosa, editor, Ventura Martins, Paula, editor, and Pérez-Castillo, Ricardo, editor

Published
2021
Full Text
View/download PDF

16. A Privacy-By-Design Architecture for Indoor Localization Systems

Author

Barsocchi, Paolo, Calabrò, Antonello, Crivello, Antonino, Daoudagh, Said, Furfari, Francesco, Girolami, Michele, Marchetti, Eda, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Shepperd, Martin, editor, Brito e Abreu, Fernando, editor, Rodrigues da Silva, Alberto, editor, and Pérez-Castillo, Ricardo, editor

Published
2020
Full Text
View/download PDF

18. A Framework for the Validation of Access Control Systems

Author

Daoudagh, Said, Lonetti, Francesca, Marchetti, Eda, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Saracino, Andrea, editor, and Mori, Paolo, editor

Published
2020
Full Text
View/download PDF

21. GDPR-Based User Stories in the Access Control Perspective

Author

Bartolini, Cesare, Daoudagh, Said, Lenzini, Gabriele, Marchetti, Eda, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Yuan, Junsong, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Piattini, Mario, editor, Rupino da Cunha, Paulo, editor, García Rodríguez de Guzmán, Ignacio, editor, and Pérez-Castillo, Ricardo, editor

Published
2019
Full Text
View/download PDF

24. Leveraging Smart Environments for Runtime Resources Management

Author

Barsocchi, Paolo, Calabró, Antonello, Lonetti, Francesca, Marchetti, Eda, Palumbo, Filippo, van der Aalst, Wil M.P., Series editor, Mylopoulos, John, Series editor, Rosemann, Michael, Series editor, Shaw, Michael J., Series editor, Szyperski, Clemens, Series editor, Winkler, Dietmar, editor, Biffl, Stefan, editor, and Bergsmann, Johannes, editor

Published
2018
Full Text
View/download PDF

25. Monitoring of Access Control Policy for Refinement and Improvements

Author

Calabró, Antonello, Lonetti, Francesca, Marchetti, Eda, van der Aalst, Wil M.P., Series editor, Mylopoulos, John, Series editor, Rosemann, Michael, Series editor, Shaw, Michael J., Series editor, Szyperski, Clemens, Series editor, Winkler, Dietmar, editor, Biffl, Stefan, editor, and Bergsmann, Johannes, editor

Published
2018
Full Text
View/download PDF

26. Towards the Automation of the Travel Management Procedure of an Italian Public Administration

Author

Calabró, Antonello, Marchetti, Eda, Spagnolo, Giorgio Oronzo, Cempini, Pierangela, Mancini, Luca, Paoletti, Serena, van der Aalst, Wil M.P., Series editor, Mylopoulos, John, Series editor, Rosemann, Michael, Series editor, Shaw, Michael J., Series editor, Szyperski, Clemens, Series editor, Winkler, Dietmar, editor, Biffl, Stefan, editor, and Bergsmann, Johannes, editor

Published
2017
Full Text
View/download PDF

27. An Assessment Environment for Model-Based Learning Management

Author

Calabrò, Antonello, Zribi, Sarah, Lonetti, Francesca, Marchetti, Eda, Jorquera, Tom, Lorré, Jean-Pierre, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Filipe, Joaquim, Series editor, Kotenko, Igor, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Yuan, Junsong, Series editor, Zhou, Lizhu, Series editor, Hammoudi, Slimane, editor, Pires, Luís Ferreira, editor, Selic, Bran, editor, and Desfray, Philippe, editor

Published
2017
Full Text
View/download PDF

28. Access Control Policy Coverage Assessment Through Monitoring

Author

Calabrò, Antonello, Lonetti, Francesca, Marchetti, Eda, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Tonetta, Stefano, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2017
Full Text
View/download PDF

29. Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper)

Author

Hillah, Lom Messan, Assad, Rodrigo, Bertolino, Antonia, Delamaro, Marcio, De Rosa, Fabio, Garcia, Vinicius, Lonetti, Francesca, Maesano, Ariele-Paolo, Maesano, Libero, Marchetti, Eda, Miranda, Breno, Vincenzi, Auri, Iyoda, Juliano, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Cimatti, Alessandro, editor, and Sirjani, Marjan, editor

Published
2017
Full Text
View/download PDF

31. Towards Business Process Execution Adequacy Criteria

Author

Bertolino, Antonia, Calabró, Antonello, Lonetti, Francesca, Marchetti, Eda, van der Aalst, Wil M.P., Series editor, Mylopoulos, John, Series editor, Rosemann, Michael, Series editor, Shaw, Michael J., Series editor, Szyperski, Clemens, Series editor, Winkler, Dietmar, editor, Biffl, Stefan, editor, and Bergsmann, Johannes, editor

Published
2016
Full Text
View/download PDF

32. An Experience on Applying Process Mining Techniques to the Tuscan Port Community System

Author

Spagnolo, Giorgio O., Marchetti, Eda, Coco, Alessandro, Scarpellini, Paolo, Querci, Antonella, Fabbrini, Fabrizio, Gnesi, Stefania, van der Aalst, Wil M.P., Series editor, Mylopoulos, John, Series editor, Rosemann, Michael, Series editor, Shaw, Michael J., Series editor, Szyperski, Clemens, Series editor, Winkler, Dietmar, editor, Biffl, Stefan, editor, and Bergsmann, Johannes, editor

Published
2016
Full Text
View/download PDF

33. Definition of Software Quality Evaluation and Measurement Plans: A Reported Experience Inside the Audio-Visual Preservation Context

Author

Biscoglio, Isabella, Marchetti, Eda, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Liu, Ting, Series editor, Kotenko, Igor, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Holzinger, Andreas, editor, Cardoso, Jorge, editor, Cordeiro, José, editor, Libourel, Therese, editor, Maciaszek, Leszek A., editor, and van Sinderen, Marten, editor

Published
2015
Full Text
View/download PDF

35. A Toolchain for Designing and Testing Access Control Policies

Author

Bertolino, Antonia, Busch, Marianne, Daoudagh, Said, Lonetti, Francesca, Marchetti, Eda, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Heisel, Maritta, editor, Joosen, Wouter, editor, Lopez, Javier, editor, and Martinelli, Fabio, editor

Published
2014
Full Text
View/download PDF

36. Validation of Access Control Systems

Author

Bertolino, Antonia, Le, Traon Yves, Lonetti, Francesca, Marchetti, Eda, Mouelhi, Tejeddine, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Heisel, Maritta, editor, Joosen, Wouter, editor, Lopez, Javier, editor, and Martinelli, Fabio, editor

Published
2014
Full Text
View/download PDF

41. Verification and Analysis of Autonomic Systems for Networked Enterprises

Author

Bertolino, Antonia, De Angelis, Guglielmo, Di Giandomenico, Felicita, Marchetti, Eda, Sabetta, Antonino, Spoletini, Paola, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Anastasi, Giuseppe, editor, Bellini, Emilio, editor, Di Nitto, Elisabetta, editor, Ghezzi, Carlo, editor, Tanca, Letizia, editor, and Zimeo, Eugenio, editor

Published
2012
Full Text
View/download PDF

42. MOVING TOWARDS QUALITY 5.0: AN INTERNET OF VEHICLE EXAMPLE.

Author

Waheed, Tauheed and Marchetti, Eda

Subjects
END-user computing, QUALITY of life, INDUSTRY 4.0, INTERNET security, AUTOMATION
Abstract

To improve the quality of and better orchestrate its process, the paper introduces the Quality 5.0 paradigm, i.e. human-centric automated testing activities focused on software system and ecosystem security and privacy with the final purpose of increasing end-users satisfaction, reputation, and trustworthiness. To show the proposal's feasibility, Quality 5.0 has been exemplified in the field of the Internet of Vehicles domain. Quality 5.0 integrated with technological innovation will enhance sustainability, social responsibility and quality of life. [ABSTRACT FROM AUTHOR]

Published
2023

43. Towards Automated WSDL-Based Testing of Web Services

Author

Bartolini, Cesare, Bertolino, Antonia, Marchetti, Eda, Polini, Andrea, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bouguettaya, Athman, editor, Krueger, Ingolf, editor, and Margaria, Tiziana, editor

Published
2008
Full Text
View/download PDF

44. Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples

Author

Bartolini, Cesare, Bertolino, Antonia, Marchetti, Eda, Parissis, Ioannis, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, de Lemos, Rogério, editor, Di Giandomenico, Felicita, editor, Gacek, Cristina, editor, Muccini, Henry, editor, and Vieira, Marlon, editor

Published
2008
Full Text
View/download PDF

45. Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper)

Author

Hillah, Lom Messan, primary, Assad, Rodrigo, additional, Bertolino, Antonia, additional, Delamaro, Marcio, additional, De Rosa, Fabio, additional, Garcia, Vinicius, additional, Lonetti, Francesca, additional, Maesano, Ariele-Paolo, additional, Maesano, Libero, additional, Marchetti, Eda, additional, Miranda, Breno, additional, Vincenzi, Auri, additional, and Iyoda, Juliano, additional

Published
2017
Full Text
View/download PDF

46. Systematic Generation of XML Instances to Test Complex Software Applications

Author

Bertolino, Antonia, Gao, Jinghua, Marchetti, Eda, Polini, Andrea, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Guelfi, Nicolas, editor, and Buchs, Didier, editor

Published
2007
Full Text
View/download PDF

50. An automated framework for continuous development and testing of access control systems.

Author

Daoudagh, Said, Lonetti, Francesca, and Marchetti, Eda

Subjects
ACCESS control, COMPUTER software development, COMPUTER software testing, TESTING laboratories
Abstract

Automated testing in DevOps represents a key factor for providing fast release of new software features assuring quality delivery. In this paper, we introduce DOXAT, an automated framework for continuous development and testing of access control mechanisms based on the XACML standard. It leverages mutation analysis for the selection and assessment of the test strategies and provides automated facilities for test oracle definition, test execution, and results analysis, in order to speedup and automate the Plan, Code, Build, and Test phases of DevOps process. We show the usage of the framework during the planning and testing phases of the software development cycle of a PDP example. [ABSTRACT FROM AUTHOR]

Published
2023
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results