Modular Verification of Information Flow Security in Component-Based Systems

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Simon Greiner, Martin Mohr und Bernhard Beckert
In:15th International Conference on Software Engineering and Formal Methods (SEFM 2017)
Verleger:Springer
Reihe:Lecture Notes in Computer Science
Band:10469
Jahr:2017
Seiten: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)},
  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}
}