---
_id: '3155'
author:
- first_name: Manuel
  full_name: Töws, Manuel
  last_name: Töws
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: '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>'
  apa: Töws, M., &#38; Wehrheim, H. (2017). Policy Dependent and Independent Information
    Flow Analyses. In Z. Duan &#38; L. Ong (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> (pp. 362--378). <a href="https://doi.org/10.1007/978-3-319-68690-5_22">https://doi.org/10.1007/978-3-319-68690-5_22</a>
  bibtex: '@inproceedings{Töws_Wehrheim_2017, series={Lecture Notes in Computer Science},
    title={Policy Dependent and Independent Information Flow Analyses}, DOI={<a href="https://doi.org/10.1007/978-3-319-68690-5_22">10.1007/978-3-319-68690-5_22</a>},
    booktitle={Formal Methods and Software Engineering - 19th International Conference
    on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November 13-17, 2017,
    Proceedings}, author={Töws, Manuel and Wehrheim, Heike}, editor={Duan, Zhenhua
    and Ong, LukeEditors}, year={2017}, pages={362--378}, collection={Lecture Notes
    in Computer Science} }'
  chicago: Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information
    Flow Analyses.” In <i>Formal Methods and Software Engineering - 19th International
    Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November
    13-17, 2017, Proceedings</i>, edited by Zhenhua Duan and Luke Ong, 362--378. Lecture
    Notes in Computer Science, 2017. <a href="https://doi.org/10.1007/978-3-319-68690-5_22">https://doi.org/10.1007/978-3-319-68690-5_22</a>.
  ieee: M. Töws and H. Wehrheim, “Policy Dependent and Independent Information Flow
    Analyses,” in <i>Formal Methods and Software Engineering - 19th International
    Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November
    13-17, 2017, Proceedings</i>, 2017, pp. 362--378.
  mla: Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information
    Flow Analyses.” <i>Formal Methods and Software Engineering - 19th International
    Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November
    13-17, 2017, Proceedings</i>, edited by Zhenhua Duan and Luke Ong, 2017, pp. 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>.
  short: 'M. Töws, H. Wehrheim, in: Z. Duan, L. Ong (Eds.), Formal Methods and Software
    Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM}
    2017, Xi’an, China, November 13-17, 2017, Proceedings, 2017, pp. 362--378.'
date_created: 2018-06-13T07:35:49Z
date_updated: 2022-01-06T06:59:00Z
department:
- _id: '77'
doi: 10.1007/978-3-319-68690-5_22
editor:
- first_name: Zhenhua
  full_name: Duan, Zhenhua
  last_name: Duan
- first_name: Luke
  full_name: Ong, Luke
  last_name: Ong
page: 362--378
publication: Formal Methods and Software Engineering - 19th International Conference
  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November 13-17, 2017,
  Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Policy Dependent and Independent Information Flow Analyses
type: conference
user_id: '29719'
year: '2017'
...