Conference Papers: Modular Verification of Information Flow Security in Component-Based Systems

[greinermohrbeckert17]

Simon Greiner, Martin Mohr, Bernhard Beckert, Modular Verification of Information Flow Security in Component-Based Systems, Alessandro Cimatti and Marjan Sirjani (Ed.), 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), pp. 300--315, Springer, September 2017.

Download

[DOI]

Original article available at springerlink.com.

BibTeX

@inproceedings{greinermohrbeckert17,
  title = {Modular Verification of Information Flow Security in Component-Based Systems},
  booktitle = {15th International Conference on Software Engineering and Formal Methods (SEFM 2017)},
  year = {2017},
  month = sep,
  publisher = {Springer},
  volume = {10469},
  pages = {300--315},
  author = {Simon Greiner and Martin Mohr and Bernhard Beckert},
  editor = {Alessandro Cimatti and Marjan Sirjani},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/978-3-319-66197-1_19},
}

Authors at the institute

Former Staff Member
Dr.-Ing. Martin Mohr