Journal of KIISE:Databases (한국정보과학회논문지:데이타베이스)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

A Freezing Method for Concurrence Control in Secure Real-Time Database Systems

실시간 보안 데이타베이스 시스템에서 병행수행 제어를 위한 얼림 기법

  • Published : 2002.06.01
Download PDF
⟨ Previous Next ⟩

Abstract

Database systems for real-time applications must satisfy timing constraints associated with transactions. Typically, a timing constraint is expressed in the form of a deadline and is represented as a priority to be used by schedulers. Recently, security has become another important issue in many real-time applications. In many systems, sensitive information is shared by multiple users with different levees of security clearance. As more advanced database systems are being used in applications that need to support timeliness while managing sensitive information, there is an urgent need to develop concurrency control protocols in transaction management that satisfy both timing and security requirements. In this paper, we propose two concurrence control protocols that ensure both security and real-time requirements. The proposed protocols are primarily based on multiversion locking. However, in order to satisfy timing constraint and security requirements, a new method, called the FREEZE, is proposed. In addition, we show that our protocols work correctly and they provide a higher degree of concurrency than existing multiversion protocols. We Present several examples to illustrate the behavior of our protocols, along with performance comparisons with other protocols. The simulation results show that the proposed protocols can achieve significant performance improvement.

실시간 응용을 위한 데이타베이스 시스템은 각 트랜잭션에 부여된 시간 제약사항을 만족해야 한다. 일반적으로, 트랜잭션 스케줄러는 종료시한이라는 형태로 각 트랜잭션의 시간 제약 사항을 표현하며 이는 그 트랜잭션의 우선순위로 사용이 된다. 최근, 보안이 많은 실시간 응용에서 중요한 요구사항이 되고 있다. 많은 시스템에서 기밀성을 띤 정보가 서로 다른 인가등급을 가진 사용자에 의해 공유된다. 시간 제약사항과 동시에 기밀 데이타를 관리하는 응용에서 진보된 데이타베이스 시스템의 사용이 증가하면서 시간 제약사항과 보안 요구사항을 만족하는 병행수행 제어 프로토콜의 개발이 요구되어지고 있다. 본 논문에서는 보안 요구사항과 실시간 요구사항을 보장하는 두 개의 병행수행 제어 프로토콜들을 제안한다. 제안하는 프로토콜들은 다중버전 로킹에 기반을 두고 있지만 두 가지 제약사항을 만족시키기 위해서 얼림이라는 새로운 기법을 사용한다. 또한, 제안하는 프로토콜의 정확성을 증명하고 기존의 로킹에 기반을 둔 프로토콜들보다 높은 병행수행 정도를 제공함을 증명한다. 마지막으로, 몇 가지 예제를 통해 다른 프로토콜들과 성능 분석을 수행하여 성능 향상이 있음을 보인다.

Keywords

References

  1. Abott, R. K. and H. Garcia-Molina, 'Scheduling Real-Time Transactions : A Performance Evaluation,' ACM Trans. on Database Systems, Vol. 17,(No. 3), pp. 513-560, 1992 https://doi.org/10.1145/132271.132276
  2. Alan, A., B. Pritsker, J. O'Reilly, and D. K. Laval, Simulation with Visual SLAM and Awesim, System Publishing Corporation, Indiana, 1997
  3. Atluri, V., S. Jajodia, T.F. Keefe, C. McCollum and R. Mukkamala, 'Multilevel Secure Transaction Processing : Status and Prospects,' Proceedings of IFIP WG11.3 10th Annual Working Conference on Database Security, pp. 79-98, 1996
  4. Bell, D. E. and L. J. LaPadula, Secure Computer Systems : Mathematical Foundations, Technical Report MTR-2997, The Mitre Corporation, Bedford, 1973
  5. Bernstein, P. A. and N. Goodman, 'Multiversion Concurrency Control - Theory and Algorithms,' ACM Transactions on Database Systems, Vol. 8(No. 4), pp. 465-483, 1983 https://doi.org/10.1145/319996.319998
  6. Bernstein P. A., V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database Systems, Addison-Wesley, 1987
  7. Chaney, C. and S. Son, 'Supporting the Requirements for Multilevel Secure and Real-Time Databases in Distributed Environments,' Proceedings of IFIP 11th Working Conference on Database Security, pp. 57-71, 1997
  8. George, B. and J. Haritsa, 'Secure Transaction Processing in Firm Real-Time Database Systems,' Proceedings of the ACM SIGMOD, pp. 462-473, 1997 https://doi.org/10.1145/253260.253362
  9. Haritsa, J., M. Carey, and M. Livny, 'Dynamic Real-Time Optimistic concurrency Control,' Proceedings of the 11th IEEE Real-Time Systems Symposium, pp. 94-103, 1991 https://doi.org/10.1109/REAL.1990.128734
  10. Jajodia, S. and V. Atluri, 'Alternative Correctness Criteria for Concurrent Execution of Transactions in Multilevel Secure Database Systems,' Proceedings of IEEE Symposium on Security and Privacy, pp. 216-224, 1992
  11. Jajodia, S., L. V. Mancini, and I. Ray, 'Secure Locking Protocols for Multievel Secure Database management Systems,' Proceedings of IFIP 10th Working conference on Database Security, pp. 177-194, 1996
  12. Keefe, T. F. and W. T. Tsai, 'Multiversion Concurrency Control for Multilevel Secure Database Systems,' Proceedings of the 10th IEEE Symposium on Research in Security and Privacy, pp. 369-383, 1990 https://doi.org/10.1109/RISP.1990.63865
  13. Kumar, V., Performance of Concurrency Control Mechanism in Centralized Database Systems, Prentice-Hall, 1986
  14. Lam, K., S. H. Son, V. Lee, and S. Hung, 'Using Separate Algorithms to process Read-Only Transactions in Real-Time Systems,' IEEE Real-Time systems Symposium, pp. 50-59, 1998 https://doi.org/10.1109/REAL.1998.739730
  15. McDermott, J. and S. Jajodia, 'Orange Locking : Channel-Free Database Concurrency Control via Locking,' Proceedings of IFIP 6th Working Conference on Database Security, pp. 267-284, 1995
  16. Mukkamaka, R. and S. Son, 'A Secure Concurrency Control Protocol for Real-Time Databases,' Proceedings of IFIP 9th Working Conference on Database Security,' Proceedings of IFIP 9th Working Conference on Database Security, 1995, pp. 235-253
  17. Park, Chanjung and Seog Park, 'Alternative Correctness Criteria for Multiversion Concurrency Control and its Applications in Advanced Database Systems,' Proceedings of the 9th International Workshop on DEXA, pp. 864-869, 1998
  18. Park, Chanjung and Seog Park, 'SMVL: A Concurrency Control Protocol for Real-Time Secure Database Systems,' Journal of Electrical Engineering and Information Science, Vol. 2 (No. 5), 1997. 10
  19. Shu, L. C. and M. Young, Correctness Criteria and Concurrency Control for Real-Time Systems : A Survey, Technical Report SERC-TR-131-P, Indiana, 1992
  20. Son, S., S. Park, and Y. Lin, 'An Integrated Locking Protocol,' Proceedings of the 8th International Conference on Data Engineering, pp. 527-534, 1992
  21. Son, S. AND B. Thuraisingham, 'Toward a Multilevel Secure Database Management System for Real-Time Applications,' Proceedings of IEEE Workshop on Real-Time Applications, pp. 131-135, 1993 https://doi.org/10.1109/RTA.1993.263101
  22. Son, S., R. David, and B. Thuraisingham, 'An Adaptive Policy for Improved Timeliness in Secure Database Systems,' Proceedings of IFIP 9th Working Conference on Database Security, pp. 223-233, 1995
  23. Son, S., C. Chaney, and N. Thomlinson, 'Partial Security Policies to Support Timeliness in Secure Real-Time Databases,' IEEE Symposium on Security and Privacy, pp. 136-147, 1998 https://doi.org/10.1109/SECPRI.1998.674830
  24. 이주형, 박 석, '뷰 일관성에서 판독전용 트랜잭션을 위한 실시간 낙관적 병행수행 제어기법', 한국 데이타베이스 학술대회 논문집, pp. 104-109, 1999