Information Flow Security Certification for SPARK Programs.

Sandip Ghosal R. K. Shyamasundar

Published in: DBSec (2020)

Keyphrases

information flow
information security
flow analysis
information flows
functional modules
supply chain
social networks
flow graph
real world
data mining techniques
third party
multi context systems
information systems
intrusion detection
multi threaded