Database Concurrency Control in Multilevel Secure Database Management Systems.

@article{DBLP:journals/tkde/KeefeTS93,
  author    = {Thomas F. Keefe and
               Wei-Tek Tsai and
               Jaideep Srivastava},
  title     = {Database Concurrency Control in Multilevel Secure Database Management
               Systems},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {5},
  number    = {6},
  year      = {1993},
  pages     = {1039-1055},
  ee        = {db/journals/tkde/KeefeTS93.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1993 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-3 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

...

[2]

Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents BibTeX

[3]

...

[4]

Oliver Costich: Transaction Processing Using an Untrusted Scheduler in a Multilevel Database with Replicated Architecture. DBSec 1991: 173-189 BibTeX

[5]

C. J. Date: An Introduction to Database Systems, Volume I, 4th Edition. Addison-Wesley 1986
BibTeX

[6]

...

[7]

...

[8]

...

[9]

Joseph A. Goguen, José Meseguer: Security Policies and Security Models. IEEE Symposium on Security and Privacy 1982: 11-20 BibTeX

[10]

Joseph A. Goguen, José Meseguer: Unwinding and Inference Control. IEEE Symposium on Security and Privacy 1984: 75-87 BibTeX

[11]

J. Thomas Haigh, William D. Young: Extending the Noninterference Version of MLS for SAT. IEEE Trans. Software Eng. 13(2): 141-150(1987) BibTeX

[12]

J. Thomas Haigh, Richard A. Kemmerer, John McHugh, William D. Young: An Experience Using Two Covert Channel Analysis Techniques on a Real System Design. IEEE Trans. Software Eng. 13(2): 157-168(1987) BibTeX

[13]

...

[14]

...

[15]

Sushil Jajodia, Boris Kogan: Transaction Processing in Multilevel-Secure Databases Using Replicated Architecture. IEEE Symposium on Security and Privacy 1990: 360-368 BibTeX

[16]

...

[17]

...

[18]

Thomas F. Keefe, Wei-Tek Tsai: Multiversion Concurrency Control for Multilevel Secure Database Systems. IEEE Symposium on Security and Privacy 1990: 369-383 BibTeX

[19]

...

[20]

H. T. Kung, John T. Robinson: On Optimistic Methods for Concurrency Control. ACM Trans. Database Syst. 6(2): 213-226(1981) BibTeX

[21]

Carl E. Landwehr: Formal Models for Computer Security. ACM Comput. Surv. 13(3): 247-278(1981) BibTeX

[22]

Teresa F. Lunt, Dorothy E. Denning, Roger R. Schell, Mark Heckman, William R. Shockley: The SeaView Security Model. IEEE Trans. Software Eng. 16(6): 593-607(1990) BibTeX

[23]

...

[24]

Daryl McCullough: A Hookup Theorem for Multilevel Security. IEEE Trans. Software Eng. 16(6): 563-568(1990) BibTeX

[25]

...

[26]

Christos H. Papadimitriou: The Theory of Database Concurrency Control. Computer Science Press 1986, ISBN 0-88175-027-1
BibTeX

[27]

David P. Reed, Rajendra K. Kanodia: Synchronization with Eventcounts and Sequences. Commun. ACM 22(2): 115-123(1979) BibTeX

[28]

...

[29]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

[30]

...

[31]

J. Todd Wittbold, Dale M. Johnson: Information Flow in Nondeterministic Systems. IEEE Symposium on Security and Privacy 1990: 144-161 BibTeX

Referenced by

1. Thomas F. Keefe, Wei-Tek Tsai, Jaideep Srivastava: Multilevel Secure Database Concurrency Control. ICDE 1990: 337-344