Privacy-Sensitive Information Flow with JML.

Guillaume Dufay Amy P. Felty Stan Matwin

Published in: CADE (2005)

Keyphrases

information flow
privacy sensitive
privacy preserving
medical data
flow analysis
information flows
communication networks
social networks
flow graph
supply chain
information security
multi context systems
software engineering
data mining
medical images
information diffusion