Tool support for secure programming by security testing.
Keqin LiCédric HébertJan LindemannMichael SauterHolger MackTom SchroerAbhay TiplePublished in: ICST Workshops (2015)
Keyphrases
- tool support
- security requirements
- security issues
- security level
- requirements engineering
- security measures
- security patterns
- security mechanisms
- key management
- security management
- security properties
- cryptographic protocols
- software tools
- software development
- security protocols
- data encryption
- software engineering
- stream cipher
- information security
- security model
- sensitive data
- data security
- security services
- design decisions
- authentication protocol
- security analysis
- authentication mechanism
- private key
- test suite
- software projects
- key agreement protocol
- integrity verification
- key distribution
- access control
- security policies
- user authentication
- key exchange protocol
- smart card
- diffie hellman
- intrusion detection
- trusted computing
- encryption scheme
- standard model
- information systems
- artificial intelligence
- network security
- privacy preserving
- goal oriented
- open source
- databases