Unwinding Conditions for Security in Imperative Languages.
Annalisa BossiCarla PiazzaSabina RossiPublished in: LOPSTR (2004)
Keyphrases
- sufficient conditions
- access control
- information security
- language independent
- security requirements
- expressive power
- security issues
- information retrieval
- intrusion detection
- security problems
- computer security
- neural network
- multi lingual
- security properties
- security mechanisms
- network security
- security policies
- security analysis
- data security
- security model
- security systems
- cross lingual
- security threats
- data sets
- information assurance