| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
Cited literature [89 references]
https://hal.inria.fr/hal-01551710
Contributor : Hal Ifip <>
Submitted on : Friday, June 30, 2017 - 2:43:05 PM
Last modification on : Tuesday, February 26, 2019 - 10:55:14 AM
Long-term archiving on: : Monday, January 22, 2018 - 8:46:18 PM
Contributor : Hal Ifip <>
Submitted on : Friday, June 30, 2017 - 2:43:05 PM
Last modification on : Tuesday, February 26, 2019 - 10:55:14 AM
Long-term archiving on: : Monday, January 22, 2018 - 8:46:18 PM
File
978-3-642-33260-9_1_Chapter.pd...
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License