A User-to-User Relationship-Based Access Control Model for Online Social Networks
finite automata and their decision problems .