Adaptive systems improve their efficiency, by modifying their behaviour to respond to changes in their operational environment. Also, security must adapt to these changes and policy enforcement becomes dependent on the dynamic contexts. We extend (the core of) an adaptive functional language with primitives to enforce security policies on the code execution, and we exploit a static analysis to instrument programs. The introduced checks guarantee that no violation of the required security policies occurs.
CITATION STYLE
Bodei, C., Degano, P., Galletta, L., & Salvatori, F. (2014). Linguistic mechanisms for context-aware security. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8687, 61–79. https://doi.org/10.1007/978-3-319-10882-7_5
Mendeley helps you to discover research relevant for your work.