Information Flow analysis for File Systems and Databases using Labels