IRIS – Institutional Research Information System
IRIS è il sistema di gestione della ricerca dell’Università degli Studi di Milano-Bicocca.Il repository BOA è il modulo del sistema dedicato alla raccolta e alla disseminazione della produzione scientifica di Ateneo. Le pubblicazioni sono ricercabili per parola chiave attraverso il box nella barra orizzontale in alto oppure, mediante il pulsante Sfoglia, per "Afferenza", "Autore", "Titolo", "Tipologia" o "Settore scientifico-disciplinare".
IRIS contiene inoltre alcuni moduli dedicati alla registrazione dei progetti e dei contratti, e alla reportistica avanzata per le attività di valutazione della ricerca
EnglishPolicy enforcers are sophisticated runtime components that can prevent failures by enforcing the correct behavior of the software. While a single enforcer can be easily designed focusing only on the behavior of the application that must be monitored, the effect of multiple enforcers that enforce different policies might be hard to predict. So far, mechanisms to resolve interferences between enforcers have been based on priority mechanisms and heuristics. Although these methods provide a mechanism to take decisions when multiple enforcers try to affect the execution at a same time, they do not guarantee the lack of interference on the global behavior of the system. In this paper we present a verification strategy that can be exploited to discover interferences between sets of enforcers and thus safely identify a-priori the enforcers that can co-exist at run-time. In our evaluation, we experimented our verification method with several policy enforcers for Android and discovered some incompatibilities.
Riganelli, O., Micucci, D., Mariani, L., & Falcone, Y. (2017). Verifying policy enforcers. In Runtime Verification (pp.241-258). Springer Verlag [10.1007/978-3-319-67531-2_15].
| Citazione: | Riganelli, O., Micucci, D., Mariani, L., & Falcone, Y. (2017). Verifying policy enforcers. In Runtime Verification (pp.241-258). Springer Verlag [10.1007/978-3-319-67531-2_15]. | |
| Tipo: | paper | |
| Carattere della pubblicazione: | Scientifica | |
| Presenza di un coautore afferente ad Istituzioni straniere: | Si | |
| Titolo: | Verifying policy enforcers | |
| Autori: | Riganelli, O; Micucci, D; Mariani, L; Falcone, Y | |
| Autori: | ||
| Data di pubblicazione: | 2017 | |
| Lingua: | English | |
| Nome del convegno: | International Conference on Runtime Verification, RV 2017 | |
| ISBN: | 9783319675305 | |
| Serie: | LECTURE NOTES IN COMPUTER SCIENCE | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-319-67531-2_15 | |
| Appare nelle tipologie: | 02 - Intervento a convegno |
File in questo prodotto:
Copyright © 2022