Secure computer and network systems : modeling, analysis and design - Ye, Nong (John Wiley & Sons, 2008)