FORMALIZING TRUST REQUIREMENTS AND SPECIFICATION IN SERVICE WORKFLOW ENVIRONMENTS

Wattana Viriyasitavat, Andrew Martin

2011

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 with 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.

Paper Citation

in Harvard Style

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

in Bibtex Style

@conference{iceis11,
author={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},
}

in EndNote Style

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 - Martin A.
PY - 2011
SP - 196
EP - 206
DO - 10.5220/0003479501960206