Extending intransitive noninterference with probabilities in information flow security.
Li JiangLingdi PingXuezeng PanPublished in: IMSCCS (2007)
Keyphrases
- information flow
- information security
- security policies
- flow analysis
- social networks
- information flows
- communication networks
- supply chain
- security issues
- probability distribution
- functional modules
- multi threaded
- access control
- security requirements
- flow graph
- multi context systems
- operating system
- intrusion detection
- distributed systems