Compositional information flow security for concurrent programs.

Annalisa Bossi Carla Piazza Sabina Rossi

Published in: J. Comput. Secur. (2007)

Keyphrases

information flow
concurrent programs
information security
social networks
flow analysis
communication networks
information flows
supply chain
concurrent programming
flow graph
wireless sensor networks
web applications
process algebra
information systems
multi context systems
concurrent processes
databases