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

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

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, and Marko Kleine Büning
In:20th International Conference on Formal Engineering Methods - Formal Methods and Software Engineering (ICFEM 2018)
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:11232
Year:2018
Pages:284-300
DOI:10.1007/978-3-030-02450-5_17

BibTeX

@InProceedings{BeckertBischofEA2018,
  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)},
  location  = {Gold Coast, QLD, Australia},
  date      = {November 12-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}
}