DMCA
A Formal Approach to Detecting Security Flaws in Object-Oriented Databases (1999)
by
Toshiyuki Morita
,
Yasunori Ishihara
,
Hiroyuki Seki
,
Minoru Ito
| Citations: | 1 - 1 self |
BibTeX
@MISC{Morita99aformal,
author = {Toshiyuki Morita and Yasunori Ishihara and Hiroyuki Seki and Minoru Ito},
title = {A Formal Approach to Detecting Security Flaws in Object-Oriented Databases},
year = {1999}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
this paper is to show an efficient decision algorithm for detecting a security flaw under a given authorization. This problem is solvable in polynomial time in practical cases by reducing it to the congruence closure problem. This paper also mentions the problem of finding a maximal subset of a given authorization under which no security flaw exists.
