| Bibliography | Mokhtari-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-Schema | F.4.3 (Formal Languages)
H.5.3 (Group and Organization Interfaces)
K.4.m (Computers and Society Miscellaneous)
|
|---|
| Keywords | Privacy; web services; business protocols; timed automata |
|---|
| Abstract | 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
|
|---|
| Copyright | World Scientific Publishing Company |
|---|
| Contact | salima.benbernou@parisdescartes.fr |
|---|
| Department(s) | University of Stuttgart, Institute of Architecture of Application Systems
|
|---|
| Project(s) | S-Cube
|
|---|
| Entry date | December 19, 2012 |
|---|