Formal Analysis of Privacy in an eHealth Protocol.
Naipeng DongHugo JonkerJun PangPublished in: ESORICS (2012)
Keyphrases
- formal analysis
- ban logic
- privacy preserving
- formal methods
- agent model
- security issues
- personal information
- privacy preserving data mining
- security mechanisms
- rfid systems
- sensitive information
- private information
- machine learning
- privacy concerns
- low cost
- expert systems
- cryptographic protocols
- secure multiparty computation
- knowledge base