LiveZilla Live Chat Software

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

Monitoring of security properties using BeepBeep

Boussaha Mohamed Recem, Khoury Raphaël et Hallé Sylvain. Monitoring of security properties using BeepBeep. Dans : 10th International Symposium, FPS 2017, Revised Selected Papers , October 23-25, 2017, Nancy, France.

[img]
Prévisualisation
PDF - Version acceptée
406kB

Résumé

Runtime enforcement is an effective method to ensure the compliance of program with user-defined security policies. In this paper we show how the stream event processor tool BeepBeep can be used to monitor the security properties of Java programs. The proposed approach relies on AspectJ to generate a trace capturing the program’s runtime behavior. This trace is then processed by BeepBeep, a complex event processing tool that allows complex data-driven policies to be stated and verified with ease. Depending on the result returned by BeepBeep, AspectJ can then be used to halt the execution or take other corrective action. The proposed method offers multiple advantages, notable flexibility in devising and stating expressive user-defined security policies.

Type de document:Matériel de conférence (Non spécifié)
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
Liens connexes:
Mots-clés:Sécurité informatique, traitement d'événements, sécurité des programmes, politique de sécurité
Déposé le:28 mars 2018 21:44
Dernière modification:28 mars 2018 21:44
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