Database System with Efficient Security Enforcement by Huaxin Zhang