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