A privacy-preserving framework for smart contracts based on stochastic model checking.
Tingting BaoYang LiuPublished in: TrustCom (2021)
Keyphrases
- privacy preserving
- model checking
- temporal logic
- privacy preserving data mining algorithms
- multi party
- privacy preserving data mining
- private information
- ordered binary decision diagrams
- privacy preservation
- artifact centric
- vertically partitioned data
- model checker
- transition systems
- finite state
- privacy preserving association rule mining
- computation tree logic
- symbolic model checking
- verification method
- differential privacy
- sensitive information
- privacy concerns
- privacy protection
- reactive systems
- automated verification
- private data
- horizontally partitioned data
- third party