A Verified Capability-Based Model for Information Flow Security With Dynamic Policies.

Jianwen Sun Xiang Long Yongwang Zhao

Published in: IEEE Access (2018)

Keyphrases

information flow
information security
probabilistic model
state space
information systems
reinforcement learning
risk assessment
agent model
security model
reactive systems
flow graph