Security and Integrity in Logic Data Bases Using Query-By-Example.
M. Howard WilliamsJ. C. NevesStuart Oliver AndersonPublished in: Logic Programming Workshop (1983)
Keyphrases
- databases
- data integrity
- trusted computing
- integrity verification
- information flow control
- data confidentiality
- computer security
- information security
- user friendly
- high assurance
- intrusion detection
- relevance feedback
- security mechanisms
- statistical databases
- access control
- data security
- modal logic
- video retrieval
- security issues
- security requirements
- security systems
- network security
- information flow
- image retrieval
- information retrieval
- classical logic
- security threats
- multi valued
- integrity constraints
- knowledge discovery
- database systems
- data storage
- low level features
- visual features
- asynchronous circuits
- logic programming
- image database
- data base management
- information systems