Secure computer and network systems modeling, analysis and design - Ye, Nong 1964- (Wiley, 2008)