Types for Coordinating Secure Behavioural Variations

Abstract : Context-Oriented programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment. We are interested here in software components, the behaviour of which depend on the following: their actual operating context; the security policies that control accesses to their resources and the potential interactions with the external environment. For that, we extend a core functional language with mechanisms to program behavioural variations, to manipulate resources and to enforce security policies over both variations and resource usages. Additionally, there are message passing primitives to interact with the environment, also subject to a simple policy. Changes of the operational context are triggered both by the program and by the exchanged messages. Besides a definition of the dynamic semantics, we introduce a static analysis for guaranteeing programs to safely operate in any admissible context, and to correctly interact with the environment they comply with.
Type de document :
Communication dans un congrès
Marjan Sirjani. 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7274, pp.261-276, 2012, Coordination Models and Languages. 〈10.1007/978-3-642-30829-1_18〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01529592
Contributeur : Hal Ifip <>
Soumis le : mercredi 31 mai 2017 - 09:59:56
Dernière modification le : mercredi 31 mai 2017 - 10:00:58
Document(s) archivé(s) le : mercredi 6 septembre 2017 - 14:34:09

Fichier

978-3-642-30829-1_18_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti. Types for Coordinating Secure Behavioural Variations. Marjan Sirjani. 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7274, pp.261-276, 2012, Coordination Models and Languages. 〈10.1007/978-3-642-30829-1_18〉. 〈hal-01529592〉

Partager

Métriques

Consultations de la notice

23

Téléchargements de fichiers

26