%0 Conference Paper %1 conf/IEEEscc/MokhtariBHCHL08 %A Mokhtari, Karima %A Benbernou, Salima %A Hacid, Mohand-Said %A Coquery, Emmanuel %A Leymann, Frank %B IEEE SCC (2) %D 2008 %I IEEE Computer Society %K dblp %P 593-594 %T Verification of Privacy Timed Properties in Web Service Protocols. %U http://dblp.uni-trier.de/db/conf/IEEEscc/scc2008.html#MokhtariBHCHL08 %@ 978-0-7695-3283-7

@inproceedings{conf/IEEEscc/MokhtariBHCHL08, added-at = {2023-03-24T00:00:00.000+0100}, author = {Mokhtari, Karima and Benbernou, Salima and Hacid, Mohand-Said and Coquery, Emmanuel and Leymann, Frank}, biburl = {https://www.bibsonomy.org/bibtex/23379b578b77ab54c87a397453b62336a/dblp}, booktitle = {IEEE SCC (2)}, crossref = {conf/IEEEscc/2008}, ee = {https://doi.ieeecomputersociety.org/10.1109/SCC.2008.154}, interhash = {1568a1abc086c3e099acab2ec4f53be2}, intrahash = {3379b578b77ab54c87a397453b62336a}, isbn = {978-0-7695-3283-7}, keywords = {dblp}, pages = {593-594}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:52:03.000+0200}, title = {Verification of Privacy Timed Properties in Web Service Protocols.}, url = {http://dblp.uni-trier.de/db/conf/IEEEscc/scc2008.html#MokhtariBHCHL08}, year = 2008 }