Adaptive systems improve their eciency by modifying their behaviour to respond to changes of their operational environment. Also, security must adapt to these changes and policy enforcement becomes dependent on the dynamic contexts. We address some issues of context- aware security from a language-based perspective. More precisely, we extend a core adaptive functional language, recently introduced by some of the authors, with primitives to enforce security policies on the code execution. Then, we accordingly extend the existing static analysis in order to insert checks in a program. The introduced checks guarantee that no violation occurs of the required security policies.

Here you can't: context-aware security

GALLETTA, LETTERIO;
2014-01-01

Abstract

Adaptive systems improve their eciency by modifying their behaviour to respond to changes of their operational environment. Also, security must adapt to these changes and policy enforcement becomes dependent on the dynamic contexts. We address some issues of context- aware security from a language-based perspective. More precisely, we extend a core adaptive functional language, recently introduced by some of the authors, with primitives to enforce security policies on the code execution. Then, we accordingly extend the existing static analysis in order to insert checks in a program. The introduced checks guarantee that no violation occurs of the required security policies.
2014
security; context-awareness
File in questo prodotto:
File Dimensione Formato  
Hotspot14.PDF

non disponibili

Licenza: Non specificato
Dimensione 497.14 kB
Formato Adobe PDF
497.14 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11771/7193
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
social impact