Secure computer and network systems modeling, analysis and design / - Ye, Nong, (J. Wiley & Sons,)