Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures.
Claiborne JohnsonThomas MacGahanJohn HeapsKevin BaldorJeffery von RonneJianwei NiuPublished in: SACMAT (2017)
Keyphrases
- personal information
- privacy preserving
- delay insensitive
- high level
- sufficient conditions
- confidential information
- privacy enhancing
- security concerns
- specification language
- privacy concerns
- security issues
- formal specification
- privacy preserving data mining
- private information
- privacy preservation
- differential privacy
- privacy issues
- private data
- privacy aware
- identity management
- sensitive information
- preserving privacy
- social media
- data mining