Chanjung Park Seog Park The Freeze algorithms for concurrency control in secure real-time database systems. 101-125 2003 45 Data Knowl. Eng. 1 db/journals/dke/dke45.html#ParkP03