The theory and implementation of a secure system. - David S. S. Robb (1992)