Enforcing security and safety models with an information flow analysis tool.

Roderick Chapman Adrian Hilton

Published in: SIGAda (2004)

Keyphrases

information flow
analysis tool
flow analysis
reactive systems
information security
probabilistic model
access control
information flows
functional modules
flow graph
multi context systems
real world
emergency management
communication networks
intelligent agents
intrusion detection
case study
decision making