Privacy time-related analysis in business protocols

Karima Mokhtari; Salima Benbernou; Mohsen Rouached; Mohand Said Hacid; Frank Leyman

doi:10.1109/ICWS.2009.87

Privacy time-related analysis in business protocols

Karima Mokhtari^*, Salima Benbernou, Mohsen Rouached, Mohand Said Hacid, Frank Leyman

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Abstract

To automate the analysis of service descriptions, [?] proposed a simple and expressive business protocol model (the specification of possible message exchange sequences) based on state machines, supporting rich timing constraints. Furthermore, developers of client applications need to be aware not only of functional aspects but also of non-functional aspects including privacy. In fact, the major concerns of a client are the disclosure of its personnel data conveyed during the message exchange. The aim of the paper is to study the ability of business protocol to handle the privacy and its time-related properties.

Original language	English
Title of host publication	2009 IEEE International Conference on Web Services, ICWS 2009
Pages	141-148
Number of pages	8
DOIs	https://doi.org/10.1109/ICWS.2009.87
Publication status	Published - 2009
Externally published	Yes
Event	2009 IEEE International Conference on Web Services, ICWS 2009 - Los Angeles, CA, United States Duration: Jul 6 2009 → Jul 10 2009

Publication series

Name	2009 IEEE International Conference on Web Services, ICWS 2009

Other

Other	2009 IEEE International Conference on Web Services, ICWS 2009
Country/Territory	United States
City	Los Angeles, CA
Period	7/6/09 → 7/10/09

ASJC Scopus subject areas

Computer Networks and Communications
Hardware and Architecture
Software

Access to Document

10.1109/ICWS.2009.87

Cite this

Mokhtari, K, Benbernou, S, Rouached, M, Hacid, MS & Leyman, F 2009, Privacy time-related analysis in business protocols. in 2009 IEEE International Conference on Web Services, ICWS 2009., 5175817, 2009 IEEE International Conference on Web Services, ICWS 2009, pp. 141-148, 2009 IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, United States, 7/6/09. https://doi.org/10.1109/ICWS.2009.87

@inproceedings{62bb34d207e049ef9c05ed95b6d0571e,

title = "Privacy time-related analysis in business protocols",

abstract = "To automate the analysis of service descriptions, [?] proposed a simple and expressive business protocol model (the specification of possible message exchange sequences) based on state machines, supporting rich timing constraints. Furthermore, developers of client applications need to be aware not only of functional aspects but also of non-functional aspects including privacy. In fact, the major concerns of a client are the disclosure of its personnel data conveyed during the message exchange. The aim of the paper is to study the ability of business protocol to handle the privacy and its time-related properties.",

author = "Karima Mokhtari and Salima Benbernou and Mohsen Rouached and Hacid, {Mohand Said} and Frank Leyman",

year = "2009",

doi = "10.1109/ICWS.2009.87",

language = "English",

isbn = "9780769537092",

series = "2009 IEEE International Conference on Web Services, ICWS 2009",

pages = "141--148",

booktitle = "2009 IEEE International Conference on Web Services, ICWS 2009",

note = "2009 IEEE International Conference on Web Services, ICWS 2009 ; Conference date: 06-07-2009 Through 10-07-2009",

}

TY - GEN

T1 - Privacy time-related analysis in business protocols

AU - Mokhtari, Karima

AU - Benbernou, Salima

AU - Rouached, Mohsen

AU - Hacid, Mohand Said

AU - Leyman, Frank

PY - 2009

Y1 - 2009

N2 - To automate the analysis of service descriptions, [?] proposed a simple and expressive business protocol model (the specification of possible message exchange sequences) based on state machines, supporting rich timing constraints. Furthermore, developers of client applications need to be aware not only of functional aspects but also of non-functional aspects including privacy. In fact, the major concerns of a client are the disclosure of its personnel data conveyed during the message exchange. The aim of the paper is to study the ability of business protocol to handle the privacy and its time-related properties.

AB - To automate the analysis of service descriptions, [?] proposed a simple and expressive business protocol model (the specification of possible message exchange sequences) based on state machines, supporting rich timing constraints. Furthermore, developers of client applications need to be aware not only of functional aspects but also of non-functional aspects including privacy. In fact, the major concerns of a client are the disclosure of its personnel data conveyed during the message exchange. The aim of the paper is to study the ability of business protocol to handle the privacy and its time-related properties.

UR - http://www.scopus.com/inward/record.url?scp=70449486928&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70449486928&partnerID=8YFLogxK

U2 - 10.1109/ICWS.2009.87

DO - 10.1109/ICWS.2009.87

M3 - Conference contribution

AN - SCOPUS:70449486928

SN - 9780769537092

T3 - 2009 IEEE International Conference on Web Services, ICWS 2009

SP - 141

EP - 148

BT - 2009 IEEE International Conference on Web Services, ICWS 2009

T2 - 2009 IEEE International Conference on Web Services, ICWS 2009

Y2 - 6 July 2009 through 10 July 2009

ER -

Privacy time-related analysis in business protocols

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this