SEDA: Secure Over-the-Air Code Dissemination Protocol for the Internet of Things
On the security of public key protocols