Automatic Generation of History-Based Access Control from Information Flow Specification.

Yoshiaki Takata Hiroyuki Seki

Published in: ATVA (2010)

Keyphrases

information flow
reactive systems
flow analysis
social networks
automatically generate
information flows
communication networks
functional modules
supply chain
flow graph
formal specification
information security
multi threaded
social network analysis
software engineering
decision making
business processes