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