Article in Journal ART-2012-14

BibliographyMokhtari-Aslaoui, Karima; Benbernou, Salima; Sahri, Soror; Andrikopoulos, Vasilios; Leymann, Frank; Hacid, Mohand-Said: Timed Privacy-Aware Business Protocols.
In: International Journal of Cooperative Information Systems. Vol. 21(2).
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
pp. 85-109, english.
World Scientific Publishing Company, June 2012.
ISBN: 10.1142/S0218843012500013.
Article in Journal.
CR-SchemaF.4.3 (Formal Languages)
H.5.3 (Group and Organization Interfaces)
K.4.m (Computers and Society Miscellaneous)
KeywordsPrivacy; web services; business protocols; timed automata

Web services privacy issues have been attracting more and more attention in the past years. Since the number of Web services-based business applications is increasing, the demands for privacy enhancing technologies for Web services will also be increasing in the future. In this paper, we investigate an extension of business protocols, i.e. the specification of which message exchange sequences are supported by the web service, in order to accommodate privacy aspects and time-related properties. For this purpose we introduce the notion of Timed Privacy-aware Business Protocols (TPBPs). We also discuss TPBP properties can be checked and we describe their verification process.

Full text and
other links
PDF (734587 Bytes)
Available online
CopyrightWorld Scientific Publishing Company
Department(s)University of Stuttgart, Institute of Architecture of Application Systems
Entry dateDecember 19, 2012
   Publ. Institute   Publ. Computer Science