Verified Order-Based Transaction Scheduling Scheme for Multilevel Secure Database Management Systems.

Yonglak Sohn, Songchun Moon

Browse the full DEXA paper archive.