Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies.
Néstor CatañoSorren HanveyCamilo RuedaPublished in: TOOLS (50) (2012)
Keyphrases
- formal methods
- social networks
- privacy policies
- formal specification language
- formal specification
- model checking
- artificial intelligence
- knowledge based systems
- privacy protection
- personal information
- modeling language
- software engineering
- social media
- fine grained
- social interaction
- machine learning
- third party
- private information
- website