Formal Verification of Authorization Policies for Enterprise Social Networks using PlusCal-2

Type de document :
Communication dans un congrès
CollaborateCom 2017 - 13th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing, Dec 2017, Edimburg, United Kingdom
Liste complète des métadonnées

https://hal.inria.fr/hal-01657116
Contributeur : Olivier Perrin <>
Soumis le : mercredi 6 décembre 2017 - 13:38:32
Dernière modification le : jeudi 11 janvier 2018 - 06:27:29

Identifiants

  • HAL Id : hal-01657116, version 1

Collections

Citation

Ehtesham Zahoor, Sabina Aktar, Olivier Perrin. Formal Verification of Authorization Policies for Enterprise Social Networks using PlusCal-2. CollaborateCom 2017 - 13th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing, Dec 2017, Edimburg, United Kingdom. 〈hal-01657116〉

Partager

Métriques

Consultations de la notice

26