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
Type de document :
Communication dans un congrès
SECUREWARE - 7th International Conference on Emerging Security Information, Systems and Technologies - 2013, 2013, Barcelona, Spain. 2013
Liste complète des métadonnées
https://hal.inria.fr/hal-00909400
Contributeur : Valérie Viet Triem Tong <>
Soumis le : mardi 26 novembre 2013 - 11:15:46
Dernière modification le : vendredi 15 juin 2018 - 16:18:06

Identifiants

  • HAL Id : hal-00909400, version 1

Collections

INRIA | IRISA-D1 | IRISA | SUP_CIDRE | UR1-UFR-ISTIC | UNIV-RENNES

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. 2013. 〈hal-00909400〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

1064

Contact


archive-ouverte@inria.fr