Calculus of cooperation and game-based reasoning about protocol privacy.
Sara Miner MorePavel NaumovPublished in: ACM Trans. Comput. Log. (2012)
Keyphrases
- privacy preserving
- homomorphic encryption
- rfid systems
- authentication protocol
- cooperative
- secure multiparty computation
- cryptographic protocols
- trusted third party
- vertically partitioned data
- mutual authentication
- user privacy
- qualitative spatial reasoning
- personal data
- security properties
- personal information
- lightweight
- privacy preserving data mining
- security analysis
- private information
- multi agent systems
- qualitative spatial
- learning tools
- qualitative reasoning
- contract net protocol
- formal theory
- public key
- spatial reasoning
- privacy concerns
- data sharing
- multi agent
- database views
- scalar product
- smart card
- communication protocols
- privacy preservation
- multi party
- privacy protection
- security issues
- learning process
- tcp ip
- security protocols
- differential privacy
- incentive mechanism
- secret key
- sensitive information
- private information retrieval
- third party