Privacy Time-related Analysis in Business Protocols

Abstract : To automate the analysis of service descriptions, [6] 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.
Document type :
Conference papers
Complete list of metadatas
Contributor : Équipe Gestionnaire Des Publications Si Liris <>
Submitted on : Tuesday, January 17, 2017 - 1:55:50 PM
Last modification on : Tuesday, February 26, 2019 - 11:49:42 AM



Karima Mokhtari, Salima Benbernou, Mohsen Rouached, Mohand-Said Hacid, Frank Leyman. Privacy Time-related Analysis in Business Protocols. IEEE International Conference on Web Services ICWS'09, Jul 2009, Los Angeles, United States. pp.141-148, ⟨10.1109/ICWS.2009.87⟩. ⟨hal-01437689⟩



Record views