C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures.
Gordon Stewart
Anindya Banerjee
Aleksandar Nanevski
Published in:
PPDP (2013)
Keyphrases
</>
information flow
data structure
social networks
flow analysis
information flows
supply chain
communication networks
information security
multiple types
access control
optimal policy
access control policies
functional modules
information propagation
flow graph