Books recommend to read:
1. Security in Commputing, 2nd Ed.    (1997 by Prentice Hall) 
	Chapter 5 Program Security (50 pages)
	Chapter 7 Designing Trusted Operating Systems (67 pages)