Secure computers and networks : Analysis, Design, and Implementation (New York : CRC Press, 2000)