Privacy in Data Mining Using Formal Methods.
Stan MatwinAmy P. FeltyIstván T. HernádvölgyiVenanzio CaprettaPublished in: TLCA (2005)
Keyphrases
- formal methods
- data mining
- privacy preserving data mining
- privacy preservation
- security properties
- privacy preserving
- preserving privacy
- formal analysis
- privacy issues
- knowledge based systems
- formal specification
- knowledge discovery
- model checking
- applying data mining
- aspects of data mining
- process algebra
- software engineering
- artificial intelligence
- model checker
- safety critical
- provably correct
- private information
- data mining techniques
- machine learning
- data mining algorithms
- formal specification language
- security issues
- database
- real world
- data privacy
- sensitive information
- modeling language