Formal Verification of Authorization Policies for Enterprise Social Networks Using PlusCal-2.
Sabina AkhtarEhtesham ZahoorOlivier PerrinPublished in: CollaborateCom (2017)
Keyphrases
- formal verification
- social networks
- model checking
- access control policies
- role based access control
- access control
- conflict resolution
- model checker
- bounded model checking
- symbolic model checking
- optimal policy
- social network analysis
- online social networks
- automated verification
- fine grained
- security policies
- information systems
- program slicing
- complex networks
- social media
- link prediction
- security requirements
- social networking
- temporal logic
- formal methods
- knowledge management
- privacy policies
- decision problems
- markov decision processes
- domain independent