Soteria: Automated IoT Safety and Security Analysis.
Z. Berkay CelikPatrick D. McDanielGang TanPublished in: USENIX Annual Technical Conference (2018)
Keyphrases
- security analysis
- smart card
- security requirements
- public key
- high security
- security properties
- mutual authentication
- security model
- management system
- image encryption
- authentication protocol
- authentication scheme
- proxy signature scheme
- encryption algorithm
- cloud computing
- user authentication
- private key
- encryption scheme
- rfid systems
- multiresolution
- databases