Fundamentals of computer security technology - AMOROSO (Prentice Hall, 1994)