Handbook of theoretical computer science (vol. B)
Reasoning about knowledge
First-Order Dynamic Logic
Modelling Social Agents: Communication as Action
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Modeling Directed Obligations and Permissions in Trade Contracts
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
INTERPROCS: A Java-based Prototyping Environment for Distributed Electronic Trade Procedures
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 4 - Volume 4
Schematic evaluation of internal accounting control systems
Schematic evaluation of internal accounting control systems
Facilitating International Electronic Commerce by Formalising the Incoterms
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Advanced Technology Track - Volume 5
Soft-coded trade procedures for open-EDI
International Journal of Electronic Commerce - Special section: Diversity in electronic commerce research
A logical model of directed obligations and permissions to support electronic contracting
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
International Journal of Metadata, Semantics and Ontologies
Modeling control mechanisms with normative multiagent systems: the case of the renewables obligation
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Hi-index | 0.00 |
One of the major issues involved in establishing new trading relationships is the lack of an a priori trust relationship between the parties. This is an old and well-known problem in international commerce. Unless it can be solved, establishing new trading relationships will be virtually impossible. One way to create the necessary trust is by using procedures that involve exchanges of documents between the trading partners to verify that each party has fulfilled its part of the agreement. The paper documents formerly used for this purpose are being replaced, in electronic commerce, by information exchanges. The issue of whether these are as trustworthy as paper documents remains a crucial question. It is easy to guarantee the uniqueness of ownership documents in the case of signed paper documents, but much harder with electronic messages. Electronic commerce will not succeed in international trade unless the trustworthiness of electronic versions of trade procedures can be demonstrated beyond reasonable doubt. This article presents a formal specification of a set of design principles for trustworthy trade procedures that adapts the basic principles of internal auditing within a company. This auditing method has already been implemented in INTERPROCS, a Prolog-based tool for representation and analysis of procedures. The formal specification of this auditing method can be used to verify audit principles, and in particular the INTERPROCS implementation of these principles. It is based on a combination of deontic, dynamic, and illocutionary modal logics.