Static Analysis for Secrecy and Non-interference in Networks of Processes.

Chiara Bodei Pierpaolo Degano Flemming Nielson Hanne Riis Nielson

Published in: PaCT (2001)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
social networks
symbolic execution
network structure
databases
regular expressions
java card
test generation
case study
reverse engineering
database
test suite
data warehouse
abstract interpretation