Case Studies in Security, Compositionality and Refinement.
Annabelle McIverCarroll C. MorganPublished in: FM (2009)
Keyphrases
- case study
- information security
- security requirements
- open source
- access control
- security issues
- information assurance
- lessons learned
- security systems
- security mechanisms
- data sets
- statistical databases
- security policies
- high security
- real world
- computer security
- network security
- security management
- security threats
- security vulnerabilities
- network management
- security protocols
- security analysis
- functional requirements
- development process
- information systems
- neural network