Title: Auditing Advanced EDP Systems