Tutorial: Secure Your Things: Secure Development of IoT Software with Frama-C.
Allan BlanchardNikolai KosmatovFrédéric LoulerguePublished in: SecDev (2018)
Keyphrases
- key management
- security requirements
- lightweight
- design tools
- product line
- security issues
- development process
- cryptographic protocols
- software design
- software systems
- computer systems
- design process
- software testing
- software engineering
- management system
- software application
- security patterns
- case study
- hardware platforms
- programming environments
- development cycle
- software reuse
- software development
- wireless sensor networks
- user interface