Formalising the Impact of Security Attacks on IoT Safety.

Ehsan Poorhadi, Elena Troubitysna, Gyrgy Dn

Browse the full SAFECOMP paper archive.