@inproceedings{bbe6533b4fee445cb4eaa731b8ba0de5,
title = "Authorization in object oriented databases",
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.",
keywords = "Authorization policy, Formal specification, Inheritance, Object oriented databases, Security",
author = "Yun Bai and Vijay Varadharajan",
year = "1999",
month = apr,
doi = "10.1007/3-540-48970-3_22",
language = "English",
isbn = "9783540657568",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "270--280",
editor = "Josef Pieprzyk and Rei Safavi-Naini and Jennifer Seberry",
booktitle = "Information Security and Privacy",
address = "United States",
note = "4th Australasian Conference on Information Security and Privacy, ACISP - 1999 ; Conference date: 07-04-1999 Through 09-04-1999",
}