Secure information flow for a concurrent language with scheduling.
Gilles BartheLeonor Prensa NietoPublished in: J. Comput. Secur. (2007)
Keyphrases
- information flow
- flow analysis
- communication networks
- social networks
- scheduling problem
- information flows
- supply chain
- programming language
- information security
- functional modules
- concurrent programming
- scheduling algorithm
- resource constraints
- multi threaded
- decision making
- natural language
- multi context systems
- data processing
- database systems
- case study