A more precise security type system for dynamic security tests.
Gregory MalechaStephen ChongPublished in: PLAS (2010)
Keyphrases
- security policies
- security requirements
- security issues
- network security
- intrusion detection
- information assurance
- security threats
- access control
- security measures
- statistical databases
- security systems
- information security
- security problems
- data sets
- security management
- case study
- cyber attacks
- computer security
- security mechanisms
- functional requirements
- dynamic environments
- security protocols
- data security
- mobile devices
- control system
- network management
- high security
- smart card