A Permission-Dependent Type System for Secure Information Flow Analysis.

Hongxu Chen Alwen Tiu Zhiwu Xu Yang Liu

Published in: CoRR (2017)

Keyphrases

flow analysis
domain knowledge
higher level
information flow
information sources
data sets
knowledge base
prior knowledge
information processing
multiple types