CryptSDLC: Embedding Cryptographic Engineering into Secure Software Development Lifecycle.
Thomas LorünserHenrich C. PöhlsLeon SellThomas LaengerPublished in: ARES (2018)
Keyphrases
- development lifecycle
- security requirements
- smart card
- software development
- security properties
- formal methods
- security protocols
- security analysis
- security policies
- cryptographic protocols
- information security
- key management
- digital signature
- encryption key
- security mechanisms
- software architecture
- authentication scheme
- encryption scheme
- authentication protocol
- access control
- high assurance
- case study
- secure communication
- standard model
- security issues
- relational databases