Design Methodologies for Secure Embedded Systems