Privacy Time-related Analysis in Business Protocols - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

Privacy Time-related Analysis in Business Protocols

Salima Benbernou
  • Function : Author
  • PersonId : 998489
Mohsen Rouached
  • Function : Author
Mohand-Said Hacid


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.
Not file

Dates and versions

hal-01437689 , version 1 (17-01-2017)



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⟩
120 View
0 Download



Gmail Facebook Twitter LinkedIn More