Programmable enforcement framework of information flow policies