Abstract
Formal specification on authorization in object oriented databases is becoming increasingly significant. However most of the work in this field suffers a lack of formal logic semantics to characterize different types of inheritance properties of authorization policies among complex data objects. In this paper, we propose a logic formalization specify object oriented databases together with authorization policies. Our formalization has a high level language structure to specify object oriented databases and allows various types of authorizations to be associated with.
| Original language | English |
|---|---|
| Title of host publication | Information Security and Privacy - 4th Australasian Conference, ACISP 1999, Proceedings |
| Editors | Josef Pieprzyk, Rei Safavi-Naini, Jennifer Seberry |
| Publisher | Springer Verlag |
| Pages | 270-280 |
| Number of pages | 11 |
| ISBN (Print) | 3540657568, 9783540657569 |
| DOIs | |
| Publication status | Published - 1999 |
| Event | 4th Australasian Conference on Information Security and Privacy, ACISP 1999 - Wollongong, Australia Duration: 7 Apr 1999 → 9 Apr 1999 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 1587 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 4th Australasian Conference on Information Security and Privacy, ACISP 1999 |
|---|---|
| Country/Territory | Australia |
| City | Wollongong |
| Period | 7/04/99 → 9/04/99 |
Bibliographical note
Publisher Copyright:© Springer-Verlag Berlin Heidelberg 1999.
Keywords
- Authorization policy
- Formal specification
- Inheritance
- Object oriented databases
- Security