BSPL: A Language to Specify and Compose Fine-grained Information Flow Policies

Stéphane Geller; Valérie Viet Triem Tong; Ludovic Mé

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Conference papers

BSPL: A Language to Specify and Compose Fine-grained Information Flow Policies

Stéphane Geller ¹ Valérie Viet Triem Tong ¹ Ludovic Mé ¹

1 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition

IRISA-D1 - SYSTÈMES LARGE ÉCHELLE, Inria Rennes – Bretagne Atlantique , CentraleSupélec

Stéphane Geller ¹ AuthorId : 665303
Author

Valérie Viet Triem Tong ¹ AuthorId : 99473
Mail :
Author IdHAL : valerie-viet-triem-tong

Ludovic Mé ¹ AuthorId : 491086
Mail :
Author IdHAL : lme

1 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition (France) StructId : 162175

IRISA-D1 - SYSTÈMES LARGE ÉCHELLE (France) StructId : 419362
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 105128
  - INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
    - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France) StructId : 301262
  - UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
Inria Rennes – Bretagne Atlantique (Campus de beaulieu 35042 Rennes cedex - France) StructId : 419153
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575

Complete list of metadatas

https://hal.inria.fr/hal-00909400
Contributor : Valérie Viet Triem Tong <>
Submitted on : Tuesday, November 26, 2013 - 11:15:46 AM
Last modification on : Friday, March 6, 2020 - 1:28:33 AM

Identifiers

HAL Id : hal-00909400, version 1

Collections

Citation

Stéphane Geller, Valérie Viet Triem Tong, Ludovic Mé. BSPL: A Language to Specify and Compose Fine-grained Information Flow Policies. SECUREWARE - 7th International Conference on Emerging Security Information, Systems and Technologies - 2013, 2013, Barcelona, Spain. ⟨hal-00909400⟩

BSPL: A Language to Specify and Compose Fine-grained Information Flow Policies

Identifiers

Collections

Citation

Export

Metrics

1360

Contact Legal Notice Personal Data

BSPL: A Language to Specify and Compose Fine-grained Information Flow Policies

Identifiers

Collections

Citation

Export

Share

Metrics

1360

Contact Legal Notice Personal Data