A Framework for Formal Analysis of Privacy on SSO Protocols.
K. Wang, G. Bai, N. Dong, and J. Dong. SecureComm, volume 238 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 763-777. Springer, (2017)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}
