Zurück zur Hauptseite von "Praxis der Forschung"

Praxis der Forschung

Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten und Marko Kleine Büning
In:20th International Conference on Formal Engineering Methods - Formal Methods and Software Engineering (ICFEM 2018)
Verleger:Springer
Reihe:Lecture Notes in Computer Science
Band:11232
Jahr:2018
Seiten:284-300
DOI:10.1007/978-3-030-02450-5_17

BibTeX

@InProceedings{BBHKK18,
  author    = {Bernhard Beckert and
               Simon Bischof and
               Mihai Herda and
               Michael Kirsten and
               Marko Kleine B{\"{u}}ning
               },
  editor    = {Jing Sun and Meng Sun},
  title     = {Using Theorem Provers to Increase the Precision of
               Dependence Analysis for Information Flow Control},
  booktitle = {20th International Conference on Formal Engineering
               Methods - Formal Methods and Software Engineering
               ({ICFEM} 2018)},
  venue     = {Gold Coast, QLD, Australia},
  eventdate = {2018-11-12/2018-11-16},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume    = {11232},
  year      = {2018},
  pages     = {284--300},
  month     = oct,
  doi       = {10.1007/978-3-030-02450-5\_17}
}