Tipo di tesi
Tesi di laurea magistrale
Titolo
Security issues in adaptive programming
Corso di studi
INFORMATICA
Parole chiave
- context-oriented programming
- context-oriented security
- runtime monitor
- security
- static analysis
- type checking
Data inizio appello
28/02/2014
Riassunto (Italiano)
Adaptive systems improve their efficiency by modifying their behaviour to respond to changes of their operational environment. Also security must adapt to these changes and enforcing policies becomes dependent on the dynamic contexts.
We address some issues of context-aware security from a language-based perspective, by extending a core adaptive functional language, with primitives to enforce security policies on the code execution. We then accordingly extend an existing static analysis in order to insert checks in a program so to guarantee that no violation of the required security policies occurs at runtime.
