How to trust systems. - Audun Jøsang; F. Van Laenen; Svein J. Knapskog; Joos Vandewalle (SEC, 1997)