Information flow safety in multiparty sessions.

Sara Capecchi Ilaria Castellani Mariangiola Dezani-Ciancaglini

Published in: Math. Struct. Comput. Sci. (2016)

Keyphrases

information flow
multi party
privacy preserving
social networks
flow graph
supply chain
information flows
flow analysis
information security
communication networks
description language
functional modules
human communication
turn taking
reactive systems
domain independent
state space
case study