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
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 : Thursday, December 13, 2018 - 8:06:02 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

1303