Constellation, le dépôt institutionnel de l'Université du Québec à Chicoutimi

Runtime Verification Under Access Restrictions

Taleb Rania, Khoury Raphaël et Hallé Sylvain. (2021). Runtime Verification Under Access Restrictions. Proceedings of the 9th International Conference on Formal Methods in Software Engineering,

[thumbnail of paper.pdf]
Prévisualisation
PDF - Version acceptée
386kB

URL officielle: https://www.formalise.org

Résumé

We define a logical framework that permits runtime verification to take place when a monitor has incomplete or uncertain information about the underlying trace. Uncertainty is modeled as a stateful access control proxy that has the capacity to turn events into sets of possible events, resulting in what we call a "multi-trace". We describe a model of both proxy and monitor as extensions of Mealy machines, and provide an algorithm to lift a classical monitor into a sound, loss-tolerant monitor. Experiments on various scenarios show that the approach can account for various types of data degradation and access limitations, provides a tighter verdict than existing works in some cases, and preserves scalable performance of the model.

Type de document:Article publié dans une revue avec comité d'évaluation
Version évaluée par les pairs:Oui
Date:Mai 2021
Sujets:Sciences naturelles et génie > Sciences mathématiques > Informatique
Département, module, service et unité de recherche:Départements et modules > Département d'informatique et de mathématique
Mots-clés:stateful proxy, multi-trace, loss-tolerant monitor, degradation, access limitation
Déposé le:30 avr. 2021 18:57
Dernière modification:30 avr. 2021 18:57
Afficher les statistiques de telechargements

Éditer le document (administrateurs uniquement)

Creative Commons LicenseSauf indication contraire, les documents archivés dans Constellation sont rendus disponibles selon les termes de la licence Creative Commons "Paternité, pas d'utilisation commerciale, pas de modification" 2.5 Canada.

Bibliothèque Paul-Émile-Boulet, UQAC
555, boulevard de l'Université
Chicoutimi (Québec)  CANADA G7H 2B1
418 545-5011, poste 5630