Login / Signup

A Hybrid Approach for Proving Noninterference of Java Programs.

Ralf KüstersTomasz TruderungBernhard BeckertDaniel BrunsMichael KirstenMartin Mohr
Published in: CSF (2015)
Keyphrases
  • java programs
  • multi threaded
  • software components
  • java language
  • test case generation
  • real time
  • test suite
  • relational databases
  • object oriented
  • low cost
  • software development
  • information flow
  • java virtual machine