Modelling Dynamic Information Flows: Extensions of LINQ with Norms | IEEE Conference Publication | IEEE Xplore