> Details

Beckert, Bernhard [Author]; Bruns, Daniel [Author]; Klebanov, Vladimir [Author]; Scheben, Christoph [Author]; Schmitt, Peter H. [Author]; Ulbrich, Mattias [Author]

Secure Information Flow for Java. A Dynamic Logic Approach. Extended Version

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Report; Text; E-Book
  • Title: Secure Information Flow for Java. A Dynamic Logic Approach. Extended Version
  • Contributor: Beckert, Bernhard [Author]; Bruns, Daniel [Author]; Klebanov, Vladimir [Author]; Scheben, Christoph [Author]; Schmitt, Peter H. [Author]; Ulbrich, Mattias [Author]
  • imprint: Karlsruher Institut für Technologie, 2013-01-01
  • Language: English
  • DOI: https://doi.org/10.5445/IR/1000036786
  • ISSN: 2190-4782
  • Keywords: DATA processing & computer science
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Access State: Open Access