Abstract
In this paper, we propose a formal approach of Artificial Intelligence (AI) in securing object oriented database systems. We combine the specification of object oriented database with security policies and provide its formal syntax and semantics. The properties in the inheritance of authorizations in object oriented database system and reasoning about authorizations on data objects are also investigated in detail.
| Original language | English |
|---|---|
| Pages (from-to) | 3-17 |
| Number of pages | 15 |
| Journal | International Journal of Pattern Recognition and Artificial Intelligence |
| Volume | 18 |
| Issue number | 1 SPEC. ISS. |
| DOIs | |
| Publication status | Published - 2004 |
Keywords
- artificial intelligence
- data protection
- database security
- object-oriented databases
- Formal specification
- Database security
- Logical reasoning