Modular Verification of Information Flow Security in Component-Based Systems

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