Deontic logic in computer science: normative system specification
Deontic logic in computer science: normative system specification
Introduction to knowledge systems
Introduction to knowledge systems
Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents
Journal of Logic, Language and Information
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Accounting Information Systems (10th Edition) (Accounting Information Systems)
Accounting Information Systems (10th Edition) (Accounting Information Systems)
A Dialogue Game Protocol for Multi-Agent Argument over Proposals for Action
Autonomous Agents and Multi-Agent Systems
Revisiting the Core Ontology and Problem in Requirements Engineering
RE '08 Proceedings of the 2008 16th IEEE International Requirements Engineering Conference
A formal model of adjudication dialogues
Artificial Intelligence and Law
Formalising ordinary legal disputes: a case study
Artificial Intelligence and Law
Rule-based versus Principle-based Regulatory Compliance
Proceedings of the 2009 conference on Legal Knowledge and Information Systems: JURIX 2009: The Twenty-Second Annual Conference
A comparison of security requirements engineering methods
Requirements Engineering - Special Issue on RE'09: Security Requirements Engineering; Guest Editors: Eric Dubois and Haralambos Mouratidis
Tracing the rationale behind UML model change through argumentation
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Towards an architecture for self-regulating agents: a case study in international trade
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
NIST Special Publication 800-30 Risk Management Guide for Information Technology Systems
NIST Special Publication 800-30 Risk Management Guide for Information Technology Systems
Managing legal interpretation in regulatory compliance
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Value-based argumentation for designing and auditing security measures
Ethics and Information Technology
Hi-index | 0.00 |
Compliance is often achieved 'by design' through a coherent system of controls consisting of information systems and procedures. This system-based control requires a new approach to auditing in which companies must demonstrate to the regulator that they are 'in control'. They must determine the relevance of a regulation for their business, justify which set of control measures they have taken to comply with it, and demonstrate that the control measures are operationally effective. In this paper we show how value-based argumentation theory can be applied to the compliance domain. Corporate values motivate the selection of control measures (actions) which aim to fulfil control objectives, i.e. adopted norms (goals). In particular, we show how to formalize the audit dialogue in which companies justify their compliance decisions to regulators using value-based argunlentation. The approach is illustrated by a case study of the safety and security measures adopted in the context of EU customs regulation.