Security completeness: towards noninterference in composed languages.
Andreas GampeJeffery von RonnePublished in: PLAS (2013)
Keyphrases
- security policies
- information security
- security requirements
- network security
- access control
- security problems
- expressive power
- intrusion detection
- security issues
- databases
- distributed systems
- security management
- security mechanisms
- language independent
- authentication protocol
- security analysis
- computer security
- security measures
- information assurance
- network management
- statistical databases
- cross lingual
- wireless sensor networks
- countermeasures
- human operators
- data quality
- programming language
- security level
- information systems
- information retrieval
- database