Designing secure systems - Melone, Michael. (CRC Press,)