SVMAX: a system for secure and valid manipulation of XML data

Houari Mahfoud 1 Abdessamad Imine 1 Michael Rusinowitch 1
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Résumé : Nous présentons un système de contrôle d'accès pour documents XML par récriture de requête qui fonctionne aussi sur les vues récursives.
Type de document :
Communication dans un congrès
Bipin C. Desai and Josep-Lluis Larriba-Pey and Jorge Bernardino. IDEAS'13 Proceedings of the 17th International Database Engineering & Applications Symposium, Oct 2013, Barcelone, Spain. ACM, 2013, 〈10.1145/2513591.2513657〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00915318
Contributeur : Michaël Rusinowitch <>
Soumis le : samedi 7 décembre 2013 - 11:01:46
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Identifiants

Citation

Houari Mahfoud, Abdessamad Imine, Michael Rusinowitch. SVMAX: a system for secure and valid manipulation of XML data. Bipin C. Desai and Josep-Lluis Larriba-Pey and Jorge Bernardino. IDEAS'13 Proceedings of the 17th International Database Engineering & Applications Symposium, Oct 2013, Barcelone, Spain. ACM, 2013, 〈10.1145/2513591.2513657〉. 〈hal-00915318〉

Partager

Métriques

Consultations de la notice

268