Towards a Methodology for the Development of Secure Cryptographic Software.
Alexandre Melo BragaRicardo DahabPublished in: ICSSA (2016)
Keyphrases
- software developers
- development process
- software design
- development methodologies
- computer systems
- development cycle
- technical issues
- software engineering
- key management
- systems development
- soft systems
- security protocols
- smart card
- software systems
- user interface
- case study
- software development
- agent oriented software engineering
- design tools
- encryption scheme
- formal model
- software application
- cryptographic protocols
- privacy preserving
- secure communication
- software development process
- encryption key