Secure Systems Development -- The Evolving Integration of Validation and Verification.
Klaus P. JantkeOliver KellerPublished in: FLAIRS Conference (2001)
Keyphrases
- systems development
- systems engineering
- development process
- information systems development
- quality management
- software development
- software engineering
- integrity verification
- information systems
- cryptographic protocols
- data integration
- security requirements
- requirements engineering
- development methodologies
- total quality management
- high security
- project management
- model checking
- key management
- software requirements
- case study