Login / Signup
Techniques for Security Checking: Non-Interference vs Control Flow Analysis.
Chiara Bodei
Pierpaolo Degano
Riccardo Focardi
Roberto Gorrieri
Fabio Martinelli
Published in:
Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
</>
flow analysis
information flow
forensic analysis
information security
social networks
intrusion detection
security issues
security systems
databases
human operators
real time
decision making
supply chain
multipath
security policies