Computer security : art and science - Matt Bishop (Pearson Education (Singapore), New Delhi, 2003)