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 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, July 10, 2020 - 4:18:47 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

1378