Safety envelope for security.
Ashish TiwariBruno DutertreDejan JovanovicThomas de CandiaPatrick LincolnJohn M. RushbyDorsa SadighSanjit A. SeshiaPublished in: HiCoNS (2014)
Keyphrases
- information security
- access control
- intrusion detection
- security policies
- security threats
- security issues
- data security
- network security
- security problems
- security systems
- information assurance
- security properties
- security protocols
- sensitive data
- security management
- key management
- functional requirements
- database
- network management
- network traffic
- database systems