Software Development and Proofs of Multi-Level Security.
Peter G. NeumannRichard J. FeiertagKarl N. LevittLawrence RobinsonPublished in: ICSE (1976)
Keyphrases
- software development
- software engineering
- software systems
- information security
- case study
- security requirements
- real world
- access control
- software components
- security systems
- functional requirements
- security issues
- security policies
- software projects
- network security
- software architecture
- intrusion detection
- security problems
- theorem proving
- software developers
- software testing
- security level
- computer security
- development lifecycle
- cost estimation
- software development projects
- effort estimation
- pair programming
- software reuse
- security mechanisms
- theorem prover
- development process
- open source
- requirements engineering
- knowledge management
- relational databases
- artificial intelligence