Formalising Security in Ubiquitous and Cloud Scenarios

Abstract : We survey some critical issues arising in the ubiquitous computing paradigm, in particular the interplay between context-awareness and security. We then overview a language-based approach that addresses these problems from the point of view of Formal Methods. More precisely, we briefly describe a core functional language extended with mechanisms to express adaptation to context changes, to manipulate resources and to enforce security policies. In addition, we shall outline a static analysis for guaranteeing programs to securely behave in the digital environment they are part of.
Type de document :
Communication dans un congrès
Agostino Cortesi; Nabendu Chaki; Khalid Saeed; Sławomir Wierzchoń. 11th International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2012, Venice, Italy. Springer, Lecture Notes in Computer Science, LNCS-7564, pp.1-29, 2012, Computer Information Systems and Industrial Management. 〈10.1007/978-3-642-33260-9_1〉
Liste complète des métadonnées

Littérature citée [89 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01551710
Contributeur : Hal Ifip <>
Soumis le : vendredi 30 juin 2017 - 14:43:05
Dernière modification le : vendredi 30 juin 2017 - 14:45:29
Document(s) archivé(s) le : lundi 22 janvier 2018 - 20:46:18

Fichier

978-3-642-33260-9_1_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti, Chiara Bodei. Formalising Security in Ubiquitous and Cloud Scenarios. Agostino Cortesi; Nabendu Chaki; Khalid Saeed; Sławomir Wierzchoń. 11th International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2012, Venice, Italy. Springer, Lecture Notes in Computer Science, LNCS-7564, pp.1-29, 2012, Computer Information Systems and Industrial Management. 〈10.1007/978-3-642-33260-9_1〉. 〈hal-01551710〉

Partager

Métriques

Consultations de la notice

47

Téléchargements de fichiers

28