Skip to Main content Skip to Navigation
Conference papers

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

Stéphane Geller 1 Valérie Viet Triem Tong 1 Ludovic Mé 1
1 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
CentraleSupélec, Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00909400
Contributor : Valérie Viet Triem Tong Connect in order to contact the contributor
Submitted on : Tuesday, November 26, 2013 - 11:15:46 AM
Last modification on : Tuesday, October 19, 2021 - 11:58:54 PM

Identifiers

  • HAL Id : hal-00909400, version 1

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⟩

Share

Metrics

Record views

1409