SECURE SYSTEM DESIGN AND TRUSTABLE COMPUTING By Chip-hong Chang & Miodrag