Security assurance in information systems. - Richard G. Wilsher; Helmut Kurth (SEC, 1996)