Constructive Approaches for Security Analysis and Design of Embedded Systems

Constructive Approaches for Security Analysis and Design of Embedded Systems