loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Wattana Viriyasitavat 1 and Andrew Martin 2

Affiliations: 1 University of Oxford and Chulalongkorn University, United Kingdom ; 2 University of Oxford, United Kingdom

ISBN: 978-989-8425-55-3

Keyword(s): Trust, Service, Workflows, Trust, Requirements, Specification, Formalism.

Related Ontology Subjects/Areas/Topics: Collaborative Computing ; Communication and Software Technologies and Architectures ; Computer-Supported Education ; e-Business ; Energy and Economy ; Enterprise Information Systems ; Information Systems Analysis and Specification ; Information Technologies Supporting Learning ; Mobile and Pervasive Computing ; Modeling of Distributed Systems ; Security and Privacy ; Software Agents and Internet Computing ; Sustainable Computing and Communications ; Telecommunications ; Virtual Enterprises

Abstract: The emergence of advance communication technologies such as Internet has changed the nature of face-to-face towards virtual interactions in the form of services. Proliferation of services has enabled the creation of new value-added services composed of several sub-services in a pre-specified manner, known as service workflows. There are a number of security issues as workflows require disparate services to dynamically collaborate and interact on demand. Trust is an enabling technology serving as an adaptive and platform-independent solution that fits in this context. However, the lack of consensus on a unified trust definition and the traditional mindset of treating trust requirements separately pose the difficulty in developing formal specification. This paper provides a formal framework to this problem. The central part of the paper is logic based formalism with algebraic expressions to formally specify trust requirements. A trust definition and three modes of trust are described wi th algebraic operators to form specification formulae. The contribution of the framework is to allow trust requirements to be formally and uniformly specified by each distributed autonomous service, serving as a core component for automatic compliance checking in service workflows. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.206.13.39

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Viriyasitavat, W.; Viriyasitavat, W. and Martin, A. (2011). FORMALIZING TRUST REQUIREMENTS AND SPECIFICATION IN SERVICE WORKFLOW ENVIRONMENTS .In Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8425-55-3, pages 196-206. DOI: 10.5220/0003479501960206

@conference{iceis11,
author={Wattana Viriyasitavat. and Wattana Viriyasitavat. and Andrew Martin.},
title={FORMALIZING TRUST REQUIREMENTS AND SPECIFICATION IN SERVICE WORKFLOW ENVIRONMENTS },
booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2011},
pages={196-206},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003479501960206},
isbn={978-989-8425-55-3},
}

TY - CONF

JO - Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - FORMALIZING TRUST REQUIREMENTS AND SPECIFICATION IN SERVICE WORKFLOW ENVIRONMENTS
SN - 978-989-8425-55-3
AU - Viriyasitavat, W.
AU - Viriyasitavat, W.
AU - Martin, A.
PY - 2011
SP - 196
EP - 206
DO - 10.5220/0003479501960206

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.