Security of Multithreaded Programs by Compilation.
Gilles BartheTamara RezkAlejandro RussoAndrei SabelfeldPublished in: ESORICS (2007)
Keyphrases
- access control
- information security
- network security
- security requirements
- security systems
- intrusion detection
- multi user
- programs written
- data security
- security measures
- computer programs
- security threats
- security model
- security management
- computer security
- security mechanisms
- encryption scheme
- security vulnerabilities
- programming environment
- security issues
- security policies
- data mining
- data sets
- information assurance
- linear hashing
- security problems
- security level
- authentication protocol
- security protocols
- functional requirements
- network management
- information systems
- neural network