A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study
Chiara Braghin, Mario Lilli, Elvinia Riccobene
Topics & Concepts
Computer scienceFormal methodsComputer securityFormal verificationComputer security modelSecurity serviceCryptographic protocolProtocol (science)Vulnerability (computing)Communications protocolSoftware security assuranceSecurity testingSecurity information and event managementCloud computing securityComputer networkSoftware engineeringInformation securityCryptographyProgramming languageCloud computingPathologyMedicineOperating systemAlternative medicineAdvanced Authentication Protocols SecurityUser Authentication and Security SystemsAccess Control and Trust