Design Methodologies for Secure Embedded Systems

For several decades, embedded computers have quietly become part of everyday life, controlling functions in aircraft, cars and telecommunication equipment. As these systems are used in larger numbers, linked to one another and made to exchange information across varied environments, they face new risks. The questions this book raises are how well such systems hold up against attacks and breakdowns, how they could be designed to be more secure, and how they might respond on their own when a threat appears.

This Festschrift honors Sorin A. Huss on his 60th birthday. It celebrates his research, in which he has been deeply involved, into design methodologies for secure embedded systems.