Title: Auditing advanced EDP systems