The purpose of this paper is to describe the results of an effort to utilize case‐based reasoning (CBR) to model a specific audit judgment task. To date, most efforts to develop computational models of audit judgment have used strictly rule‐based representation methods. Some researchers have...

Decision‐support systems can be improved by enabling them to use past decisions to assist in making present ones. Reasoning from relevant past cases is appealing because it corresponds to some of the processes an expert uses to solve problems quickly and accurately. All this depends on an...

This paper reports on the continued evaluation of EDP‐XPERT, and expert system for assisting Computer Audit Specialists (CASs) in evaluating the reliability of EDP controls in advanced computer environments. The current evaluation of the system involved four phases. First, Senior CASs used the...

In The extensive growth of computing networks and tools and tricks for intruding into and attacking networks has underscored the importance of intrusion detection in network security. Yet, contemporary intrusion detection systems (IDS) are limiting in that they typically employ a misuse...

Model checking is a promising technique for the verification of complex software systems. As the use of the Internet for conduct business (e-business) extends the reach of many businesses, well-designed software becomes the foundation of reliable implementation of e-business processes. These...

Model checking offers a methodology for determining whether a model satisfies a list of correctness requirements. We propose a theory of dependability auditing with model checking based on four principles: (1) The modeling process should be partitioned into computational components and...