Login / Signup
An Automated Quantitative Information Flow Analysis for Concurrent Programs.
Khayyam Salehi
Ali A. Noroozi
Sepehr Amir-Mohammadian
MohammadSadegh Mohagheghi
Published in:
QEST (2022)
Keyphrases
</>
flow analysis
information flow
data mining
information systems
knowledge base
high level
end users
general purpose