Type-Driven Repair for Information Flow Security.

Nadia Polikarpova Jean Yang Shachar Itzhaky Armando Solar-Lezama

Published in: CoRR (2016)

Keyphrases

information flow
information security
flow analysis
supply chain
social networks
information flows
communication networks
multi context systems
multi threaded
security requirements
flow graph
information systems
decision making
knowledge discovery
information diffusion