The concurrency control and recovery problem for multilevel update transactions in MLS systems

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1993, Pages 10-23

  Mathur, A G ^a   Keefe, T F ^a  

^a PENNSYLVANIA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSIFICATION (OF INFORMATION); DISTRIBUTED COMPUTER SYSTEMS; SCHEDULING; SECURITY OF DATA; SECURITY SYSTEMS; SEMANTICS;

COVERT CHANNELS; MULTILEVEL SECURE DATABASE; MULTIPLE CLASSIFICATION; RECOVERY PROTOCOLS; SEMANTIC ATOMICITY; SUBTRANSACTIONS; TWO WAYS; UPDATE TRANSACTION;

CONCURRENCY CONTROL;

EID: 84974757243     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.1993.246642     Document Type: Conference Paper

References (21)

1. [ACL 87] R. Agrawal, M.J. Carey, and M. Livny, "Concurrency Control Performance Modeling: Alternatives and Implications,"A CM Transactions on Database Systems, 12(4) (Dec. 1987), pp. 609-654.
2. [BL 76] D.E. Bell and L.J. LaPadula, "Secure Computer Systems: Unified Exposition and Multics Interpretations," Technical Report MTR-2997, Mitre Corp., March 1976.
3. [BHG 87] P.A. Bemstein, V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database Systems, Addison Wesley, Reading, MA, 1987.
4. [BOHGM 92] A. Buchmann, M.T. Ozsu, M. Homick, D. Georgakapoulous, and F.A. Manola, "A Transaction Model for Active Distributed Object Systems," in A.K. Elmagarmid (ed.), Database Transaction Models for Advanced Applications, Morgan Kaufmann, San Mateo, CA.1992.
5. [CM 86] M.J. Carey and W.A. Muhanna, "The Performance of Multiversion Concurrency Control Algorithms," ACM Transactions on Computer Systems, 4(4) (Nov. 1986), pp. 338-378.
6. [CM 92] O. Costich and J. McDermott, "A Multilevel Transaction Problem for Multilevel Secure Database Systems and Its Solution for the Replicated Architecture," Proc. of the 1992 IEEE Symp. on Research in Security and Privacy, Oakland, CA, May 1992, pp.192-203.
7. [CJ 92] O. Costich and S. Jajodia, "Maintaining Multilevel Transaction Atomicity in MLS Database Systems with Kernelized Architecture," Proc. IFIP WG 11.3 6th Working Conference on Database Security, Vancouver, Canada, Aug. 1992, pp. 253-270.
8. [Garcia 83] H. Garcia-Molina, "Using Semantic Knowledge for Transaction Processing in a Distributed Database," ACM Transactions on Database Systems, 8(2) (June 1983), pp. 186-213.
9. [GM 82] J.A. Goguen and J. Meseguer, "Security Policy and Security Models," Proceedings of the IEEE Symposium on Security and Privacy, Oakland, CA, April 1982, pp. 11-20.
10. [GM 84] J.A. Goguen and J. Meseguer, "Unwinding and Inference Control," Proceedings of the IEEE Symposium on Security and Privacy, Oakland, CA, April 1984, pp. 75-86.
11. [HY 87] J.T. Haigh and W.D. Young, "Extending the Noninterference Version of MLS for SAT," IEEE Transactions on Software Engineering, SE-13(2) (Feb. 1987), pp. 141-150.
12. [JK 90] S. Jajodia and B. Kogan, "Transaction Processing in Multilevel-Secure Databases Using Replicated Architecture," Proc. of the 1990 IEEE Symp. on Research in Security and Privacy, Oakland, CA, May 1990, pp. 369-383.
13. [Keefe 90] T.F. Keefe, Multilevel Secure Database Management Systems, Ph.D. Thesis, University of Minnesota, MN, Sept. 1990.
14. [KLS 90] H.F. Korth, E. Levy, and A. Silberschatz, "A Formal Approach to Recovery by Compensating Transactions," Proc. of the 16th VLDB Conference, Brisbane, Australia, 1990, pp. 95-106.
15. [KT 90] T.F. Keefe and W.T. Tsai, "Multiversion Concurrency Control for Multilevel Secure Database Systems," Proc. of the 1990 IEEE Symp. on Research in Security and Privacy, Oakland, CA, May 1990, pp. 369-383.
16. [KTS 93] T.F. Keefe, W.T. Tsai, and J. Srivastava, "Database Concurrency Control in Multilevel Secure Database Management Systems," to appear in IEEE Transactions on Knowledge and Data Engineering.
17. [LKS 91] E. Levy, H.F. Korth, A. Silberschatz, "A Theory of Relaxed Atomicity," Proc. ACM Symp. on Principles of Distributed Computing, 1991.
18. [Millen 89] J.K. Millen, "Finite-State Noiseless Covert Channels," Proc. of the Computer Security Foundations Workshop II, Franconia, New Hampshire, June 1989, pp. 81-86.
19. [Moss 85] J.E.B. Moss, Nested Transactions: An Approach to Reliable Computing, The MIT Press, Cambridge, MA, 1985.
20. [Reed 78] D.P. Reed, Naming and Synchronization in a Decentralized Computer System, Ph.D. Thesis, MIT, Cambridge, MA, 1978.
21. [SW 64] C.E. Shannon and W. Weaver, The Mathematical Theory of Communication, University of Illinois Press, Urbana, IL, 1964.