Catuscia Palamidessi: a journey from logic and concurrency to security and privacy.
Mário S. AlvimKonstantinos ChatzikokolakisCarlos OlarteFrank D. ValenciaPublished in: ACM SIGLOG News (2020)
Keyphrases
- security issues
- security concerns
- statistical databases
- data security
- preserving privacy
- information security
- security risks
- security and privacy issues
- sensitive data
- security mechanisms
- data privacy
- personal data
- privacy preserving
- privacy issues
- security properties
- privacy requirements
- security threats
- security services
- security measures
- privacy concerns
- security policies
- protection mechanisms
- secure multiparty computation
- confidential information
- personal information
- network security
- security management
- rfid systems
- security requirements
- individual privacy
- privacy enhancing
- authentication protocol
- access control
- outsourced databases
- logic programming
- database systems
- identity management
- privacy preserving data mining
- biometric template
- electronic payment
- security problems
- modal logic
- sensitive information
- concurrency control
- data sharing
- intrusion detection
- smart card
- privacy protection
- privacy preservation
- security analysis
- cyber security
- private information
- biometric systems
- fine grained