A knowledge-based expert system for auditing advanced computer systems · Study