Verification of Privacy Timed Properties in Web Service Protocols

Abstract : In this work we propose an approach for verifying privacy timed-related properties of web service protocol. While in [2] 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.
Type de document :
Communication dans un congrès
IEEE. 2008 IEEE international Conference on Service Computing, Jul 2008, Honolulu, United States. IEEE, pp.593-594, 2008
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01581159
Contributeur : Équipe Gestionnaire Des Publications Si Liris <>
Soumis le : lundi 4 septembre 2017 - 14:00:22
Dernière modification le : vendredi 10 novembre 2017 - 01:21:14

Identifiants

  • HAL Id : hal-01581159, version 1

Collections

Citation

Karima Mokhtari, Salima Benbernou, Mouhammad Said, Emmanuel Coquery, Mohand-Said Hacid, et al.. Verification of Privacy Timed Properties in Web Service Protocols. IEEE. 2008 IEEE international Conference on Service Computing, Jul 2008, Honolulu, United States. IEEE, pp.593-594, 2008. 〈hal-01581159〉

Partager

Métriques

Consultations de la notice

12