Article in Proceedings INPROC-2008-74

BibliographyMokhtari, K.; Benbernou, S.; Said, M.; Coquery, E.; Hacid, M.S.; Leymann, Frank: Verification of Privacy Timed Properties in Web Service Protocols.
In: Proceedings of the International Conference on Services Computing, SCC 2008.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
pp. 593-594, english.
IEEE Computer Society Press, July 2008.
DOI: 10.1109/SCC.2008.154; ISBN: 978-0-7695-3283-7.
Article in Proceedings (Conference Paper).
CR-SchemaH.4.1 (Office Automation)
Abstract

In this work we propose an approach for verifying privace timed-related prroperties of web service protocols. While in our previous work 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.

Department(s)University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems
Project(s)COMPAS
Entry dateJuly 17, 2008
   Publ. Department   Publ. Institute   Publ. Computer Science