Sabina Akhtar, Ehtesham Zahoor, Olivier Perrin 0001. Formal Verification of Authorization Policies for Enterprise Social Networks Using PlusCal-2. In Imed Romdhani, Lei Shu 0005, Takahiro Hara, ZhangBing Zhou, Timothy Gordon, Deze Zeng, editors, Collaborative Computing: Networking, Applications and Worksharing - 13th International Conference, CollaborateCom 2017, Edinburgh, UK, December 11-13, 2017, Proceedings. Volume 252 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 530-540, Springer, 2017. [doi]
Abstract is missing.