Policy Dependent and Independent Information Flow Analyses Töws, Manuel Wehrheim, Heike Duan, Zhenhua Ong, Luke 2017 info:eu-repo/semantics/conferenceObject doc-type:conferenceObject text http://purl.org/coar/resource_type/c_5794 https://ris.uni-paderborn.de/record/3155 Töws M, Wehrheim H. Policy Dependent and Independent Information Flow Analyses. In: Duan Z, Ong L, eds. <i>Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November 13-17, 2017, Proceedings</i>. Lecture Notes in Computer Science. ; 2017:362--378. doi:<a href="https://doi.org/10.1007/978-3-319-68690-5_22">10.1007/978-3-319-68690-5_22</a> info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-68690-5_22 info:eu-repo/semantics/closedAccess