Secure Computer and Network Systems : Modeling, Analysis and Design, Hardcove...