Automated Security Analysis of IoT Software Updates.
Nicolas DejonDavide CaputoLuca VerderameAlessandro ArmandoAlessio MerloPublished in: WISTP (2019)
Keyphrases
- security analysis
- security requirements
- public key
- smart card
- software architecture
- high security
- management system
- encryption scheme
- security properties
- user authentication
- authentication protocol
- software development
- software systems
- source code
- rfid systems
- cloud computing
- computer systems
- low cost
- web services
- data mining
- database applications
- distributed systems
- case study
- information systems