Formalising Security in Ubiquitous and Cloud Scenarios - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Formalising Security in Ubiquitous and Cloud Scenarios

Pierpaolo Degano
  • Function : Author
  • PersonId : 998108
Gian-Luigi Ferrari
  • Function : Author
  • PersonId : 998109
Letterio Galletta
  • Function : Author
  • PersonId : 1009064
Gianluca Mezzetti
  • Function : Author
  • PersonId : 1009065
Chiara Bodei
  • Function : Author
  • PersonId : 1011354


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.
Fichier principal
Vignette du fichier
978-3-642-33260-9_1_Chapter.pdf (639.58 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01551710 , version 1 (30-06-2017)





Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti, Chiara Bodei. Formalising Security in Ubiquitous and Cloud Scenarios. 11th International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2012, Venice, Italy. pp.1-29, ⟨10.1007/978-3-642-33260-9_1⟩. ⟨hal-01551710⟩
36 View
57 Download



Gmail Facebook Twitter LinkedIn More