Skip to Main content Skip to Navigation
New interface
Reports (Research report)

Security for Cloud Environment through Information Flow Properties Formalization with a First-Order Temporal Logic

Arnaud Lefray 1 Jonathan Rouzaud-Cornabas 2 Jérémy Briffaut 3 Christian Toinard 3 
2 AVALON - Algorithms and Software Architectures for Distributed and HPC Platforms
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
3 SDS - Sécurité des Données et des Systèmes
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
Abstract : The main slowdown of Cloud activity comes from the lack of reliable security. The on-demand security concept aims at delivering and enforcing the client's security requirements. In this paper, we present an approach, Information Flow Past Linear Time Logic (IF-PLTL), to specify how a system can support a large range of security properties. We present in this paper how to control those information flows from lower system events. We give complete details over IF-PLTL syntax and semantics. Furthermore, that logic enables to formalize a large set of security policies. Our approach is exemplified with the Chinese Wall commercial-related policy. Finally, we discuss the extension of IF-PLTL with dynamic relabeling to encompass more realistic situations through the dynamic domains isolation policy.
Complete list of metadata

https://hal.inria.fr/hal-00916882
Contributor : Jonathan Rouzaud-Cornabas Connect in order to contact the contributor
Submitted on : Tuesday, December 10, 2013 - 8:39:24 PM
Last modification on : Wednesday, October 26, 2022 - 8:16:28 AM
Long-term archiving on: : Friday, March 14, 2014 - 10:15:59 AM

Files

RR-8420.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00916882, version 1

Citation

Arnaud Lefray, Jonathan Rouzaud-Cornabas, Jérémy Briffaut, Christian Toinard. Security for Cloud Environment through Information Flow Properties Formalization with a First-Order Temporal Logic. [Research Report] RR-8420, INRIA. 2013, pp.30. ⟨hal-00916882⟩

Share

Metrics

Record views

323

Files downloads

266