@inproceedings{aktar:hal-01657116, TITLE = {{Formal Verification of Authorization Policies for Enterprise Social Networks using PlusCal-2}}, AUTHOR = {Aktar, Sabina and Zahoor, Ehtesham and Perrin, Olivier}, URL = {https://inria.hal.science/hal-01657116}, BOOKTITLE = {{CollaborateCom 2017 - 13th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing}}, ADDRESS = {Edimburg, United Kingdom}, PAGES = {1-10}, YEAR = {2017}, MONTH = Dec, KEYWORDS = {Enterprise Social Network ; Formal Verification ; Model checking ; PlusCal-2 ; TLA + ; tlc}, PDF = {https://inria.hal.science/hal-01657116/file/CollaborateCom2017.pdf}, HAL_ID = {hal-01657116}, HAL_VERSION = {v1}, }