Suchen

Treffer: 3

• Monographie

  Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security

  Martin Mohr

  Buchdetails

• Monographie

  From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security

  Daniel Wasserrab

  Buchdetails

• Monographie

  Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs

  Christian Hammer

  Buchdetails