Towards a Unified Framework and Theory for Reasoning about Security and Correctness of Transactions in Multilevel databases.
Roshan K. ThomasRavi S. SandhuPublished in: DBSec (1993)
Keyphrases
- databases
- formal theory
- database
- statistical databases
- information security
- data sources
- concurrent execution
- theoretical framework
- causal reasoning
- security issues
- access control
- security policies
- information systems
- metadata
- knowledge discovery
- data integration
- database applications
- network security
- intrusion detection
- wireless sensor networks
- data management
- qualitative reasoning
- encryption scheme
- key management
- database security
- data warehouse
- data mining
- multilevel secure
- database updates
- database transactions