Verification of Privacy Timed Properties in Web Service Protocols

K. Mokhtari, Salima Benbernou, Emmanuel Coquery, Mohand-Said Hacid, Frank Leymann. Verification of Privacy Timed Properties in Web Service Protocols. In 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA. pages 593-594, IEEE Computer Society, 2008. [doi]

Authors

K. Mokhtari

This author has not been identified. Look up 'K. Mokhtari' in Google

Salima Benbernou

This author has not been identified. Look up 'Salima Benbernou' in Google

Emmanuel Coquery

This author has not been identified. Look up 'Emmanuel Coquery' in Google

Mohand-Said Hacid

This author has not been identified. Look up 'Mohand-Said Hacid' in Google

Frank Leymann

This author has not been identified. Look up 'Frank Leymann' in Google