Linguistic Mechanisms for Context-Aware Security. - Chiara Bodei; Pierpaolo Degano; Letterio Galletta; Francesco Salvatori (ICTAC, 2014)

Context-aware security: Linguistic mechanisms and static analysis. - Chiara Bodei; Pierpaolo Degano; Letterio Galletta; Francesco Salvatori (J. Comput. Secur., 2016)