| Original language | English |
|---|---|
| Pages (from-to) | 1-30 |
| Number of pages | 30 |
| Journal | Distributed and Parallel Databases |
| DOIs | |
| Publication status | Published - 2013 |
Keywords
- Privacy-preserving social networking techniques
- Model checking
- Ontological reasoning
- Commitments