A Proof System for Information Flow Security.

Annalisa Bossi Riccardo Focardi Carla Piazza Sabina Rossi

Published in: LOPSTR (2002)

Keyphrases

information flow
information security
social networks
flow analysis
information flows
communication networks
functional modules
security issues
supply chain
modal logic
information diffusion
flow graph
emergency management
multi threaded
database
smart card