id: 06069589
dt: a
an: 06069589
au: Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzetti,
    Gianluca
ti: Types for coordinating secure behavioural variations.
so: Sirjani, Marjan (ed.), Coordination models and languages. 14th
    international conference, COORDINATION 2012, Stockholm, Sweden, June
    14‒15, 2012. Proceedings. Berlin: Springer (ISBN
    978-3-642-30828-4/pbk). Lecture Notes in Computer Science 7274, 261-276
    (2012).
py: 2012
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-30829-1_18
ab: Summary: 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.
rv: