A formal model for integrity protection based on DTE technique.
Qingguang JiSihan QingYeping HePublished in: Sci. China Ser. F Inf. Sci. (2006)
Keyphrases
- formal model
- data protection
- data confidentiality
- data quality
- data security
- privacy protection
- access control
- security properties
- integrity constraints
- predicate calculus
- information security
- critical infrastructure
- data integrity
- data storage
- probabilistic knowledge
- formal models
- sensitive information
- integrity checking
- database integrity