Security of multithreaded programs by compilation.
Gilles BartheTamara RezkAlejandro RussoAndrei SabelfeldPublished in: ACM Trans. Inf. Syst. Secur. (2010)
Keyphrases
- access control
- information security
- intrusion detection
- security problems
- information assurance
- security issues
- security policies
- statistical databases
- multi user
- security requirements
- security level
- network security
- security threats
- security vulnerabilities
- data security
- security systems
- security measures
- functional requirements
- security protocols
- security properties
- security management
- database