Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

Modular Verification of Information Flow Security in Component-Based Systems

Reviewed Paper In Proceedings

Author(s):Simon Greiner, Martin Mohr, and Bernhard Beckert
In:15th International Conference on Software Engineering and Formal Methods (SEFM 2017)
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:10469
Year:2017
Pages:300-315
Preprint/PDF:GreinerMohrBeckert2017.pdf
DOI:10.1007/978-3-319-66197-1_19

BibTeX

@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)},
  place     = {Trento, Italy},
  date      = {September 4-8},
  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}
}