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
IRISA-D1 - SYSTÈMES LARGE ÉCHELLE, Inria Rennes – Bretagne Atlantique , CentraleSupélec
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

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

1360