Accidental Sensitive Data Leaks Prevention via Formal Verification.
Madalina G. CiobanuFausto FasanoFabio MartinelliFrancesco MercaldoAntonella SantonePublished in: ICISSP (2020)
Keyphrases
- formal verification
- sensitive data
- privacy preserving
- sensitive information
- model checking
- private information
- data storage
- smart card
- information security
- automated verification
- security concerns
- confidential data
- third party
- model checker
- data sharing
- protection mechanisms
- data confidentiality
- bounded model checking
- data privacy
- privacy protection
- privacy preservation
- security threats
- symbolic model checking
- malicious users
- personal data
- databases
- original data
- data management
- temporal logic
- input data
- feature selection
- information systems