Verification of Privacy Timed Properties in Web Service Protocols

In this work we propose an approach for verifying privacy timed-related properties of web service protocol. While in [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 TPBP. Next, we emphasize the timed properties related to privacy in TPBP. Finally, we present the different types of timed property verification to achieve upon the timed private business protocol.

[1]  Günter Karjoth,et al.  A privacy policy model for enterprises , 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.

[2]  Fabio Casati,et al.  Analysis and Management of Web Service Protocols , 2004, ER.

[3]  Raman Kazhamiakin,et al.  Representation, Verification, and Computation of Timed Properties in Web , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[4]  Nawal Guermouche,et al.  Privacy-Aware Web Service Protocol Replaceability , 2007, IEEE International Conference on Web Services (ICWS 2007).

[5]  Ramakrishnan Srikant,et al.  Implementing P3P using database technology , 2003, Proceedings 19th International Conference on Data Engineering (Cat. No.03CH37405).