A permission-dependent type system for secure information flow analysis.

Zhiwu Xu Hongxu Chen Alwen Tiu Yang Liu Kunal Sareen

Published in: J. Comput. Secur. (2021)

Keyphrases

flow analysis
domain knowledge
information flow
information sharing
data sets
information retrieval
information systems
keywords
supply chain
data processing
spatial information
distributed environment