HOME | ENGLISH | IMPRESSUM | KIT

Konferenzartikel: 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

Institutsinterne Autoren

Ehemalige Mitarbeiter
Dipl.-Math. Dipl.-Inform. Martin Mohr