The Community for Technology Leaders
2013 IEEE International Conference on Services Computing (2008)
July 7, 2008 to July 11, 2008
ISBN: 978-0-7695-3283-7
pp: 593-594
In this work we propose an approach for verifying privacy timed-related properties of web service protocol. While in \cite{anal} the addressed problem in business protocols is focused on the analysis and management of functional requirements that support rich timing constraints, our approach extends the previous results to capture the timed behavior of privacy constraints. Hence, we provide a model called Timed Private Business Protocol $\mathcal{TPBP}$. Next, we emphasize the timed properties related to privacy in $\mathcal{TPBP}$. Finally, we present the different types of timed property verification to achieve upon the timed private business protocol.
privacy, business protocol, timed-related properties
M. Said, M.S. Hacid, F. Leymann, S. Benbernou, K. Mokhtari, E. Coquery, "Verification of Privacy Timed Properties in Web Service Protocols", 2013 IEEE International Conference on Services Computing, vol. 02, no. , pp. 593-594, 2008, doi:10.1109/SCC.2008.154
91 ms
(Ver 3.1 (10032016))