Static Analysis of Processes for No and Read-Up nad No Write-Down.

Chiara Bodei Pierpaolo Degano Flemming Nielson Hanne Riis Nielson

Published in: FoSSaCS (1999)

Keyphrases

static analysis
dynamic analysis
source code
read write
java card
malicious code
symbolic execution
test generation
regular expressions
abstract interpretation
open source
domain knowledge
disk drives
artificial intelligence
database
case study
data sets