Jarrellann Filsinger: Integrity and the Audit of Trusted Database Management Systems. DBSec 1992: 349-366