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 -