DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kang, Sukhoon | ko |
dc.contributor.author | Moon, Songchun | ko |
dc.date.accessioned | 2008-04-28T03:15:46Z | - |
dc.date.available | 2008-04-28T03:15:46Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2000-08 | - |
dc.identifier.citation | JOURNAL OF SYSTEMS ARCHITECTURE, v.46, no.10, pp.889 - 902 | - |
dc.identifier.issn | 1383-7621 | - |
dc.identifier.uri | http://hdl.handle.net/10203/4176 | - |
dc.description.abstract | It is important to note that conflict-preserving serializability and related theory are artifacts of an era of database development where correctness alone was the overriding concern. With the advent of multilevel-secure databases, there is clearly a need to reexamine such theories. Any correctness criterion to govern transaction processing in the multilevel security context has to incorporate both secureness and correctness in a unified manner. This paper makes original contributions in two different but closely related areas to the optimistic concurrency control in multilevel-secure, single-version databases. First, read-down conflict-preserving serializability (CSR/RD) captures multilevel-secure database consistency requirements and secure transaction correctness properties via a single notion. Second, it presents a multilevel-secure optimistic concurrency control (MLS/OCC) scheme that has several desirable properties: If lower-level transactions were somehow allowed to continue with their executions in spite of the conflict with high-level transactions, covert timing-channel freeness would be satisfied. This sort of optimistic approach for conflict insensitiveness and the properties of non-blocking and deadlock freedom make the optimistic concurrency control scheme especially attractive to multilevel-secure transaction processing. (C) 2000 Published by Elsevier Science B.V. All rights reserved. | - |
dc.language | English | - |
dc.language.iso | en_US | en |
dc.publisher | ELSEVIER SCIENCE BV | - |
dc.title | Read-down conflict-preserving serializability as a correctness criterion for multilevel-secure optimistic concurrency control: CSR/RD | - |
dc.type | Article | - |
dc.identifier.wosid | 000088192100004 | - |
dc.identifier.scopusid | 2-s2.0-0346054711 | - |
dc.type.rims | ART | - |
dc.citation.volume | 46 | - |
dc.citation.issue | 10 | - |
dc.citation.beginningpage | 889 | - |
dc.citation.endingpage | 902 | - |
dc.citation.publicationname | JOURNAL OF SYSTEMS ARCHITECTURE | - |
dc.embargo.liftdate | 9999-12-31 | - |
dc.embargo.terms | 9999-12-31 | - |
dc.contributor.localauthor | Moon, Songchun | - |
dc.contributor.nonIdAuthor | Kang, Sukhoon | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | transaction scheduling | - |
dc.subject.keywordAuthor | concurrency control | - |
dc.subject.keywordAuthor | multilevel-secure database correctness criteria | - |
dc.subject.keywordAuthor | covert channel | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.