%0 Conference Paper %1 conf/securecomm/WangBDD17 %A Wang, Kailong %A Bai, Guangdong %A Dong, Naipeng %A Dong, Jin Song %B SecureComm %D 2017 %E Lin, Xiaodong %E Ghorbani, Ali A. %E Ren, Kui %E Zhu, Sencun %E Zhang, Aiqing %I Springer %K dblp %P 763-777 %T A Framework for Formal Analysis of Privacy on SSO Protocols. %U http://dblp.uni-trier.de/db/conf/securecomm/securecomm2017.html#WangBDD17 %V 238 %@ 978-3-319-78813-5

@inproceedings{conf/securecomm/WangBDD17, added-at = {2022-04-09T00:00:00.000+0200}, author = {Wang, Kailong and Bai, Guangdong and Dong, Naipeng and Dong, Jin Song}, biburl = {https://www.bibsonomy.org/bibtex/267aa7f3f3c6cf3a8a7f1f6a34a85ac80/dblp}, booktitle = {SecureComm}, crossref = {conf/securecomm/2017}, editor = {Lin, Xiaodong and Ghorbani, Ali A. and Ren, Kui and Zhu, Sencun and Zhang, Aiqing}, ee = {https://doi.org/10.1007/978-3-319-78813-5_41}, interhash = {3d32217256ce54795b79424f50ae66e3}, intrahash = {67aa7f3f3c6cf3a8a7f1f6a34a85ac80}, isbn = {978-3-319-78813-5}, keywords = {dblp}, pages = {763-777}, publisher = {Springer}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, timestamp = {2024-04-09T17:02:24.000+0200}, title = {A Framework for Formal Analysis of Privacy on SSO Protocols.}, url = {http://dblp.uni-trier.de/db/conf/securecomm/securecomm2017.html#WangBDD17}, volume = 238, year = 2017 }