%0 Conference Paper %1 conf/icee/LiliLY10 %A Lili, Yan %A Linbo, He %A Yan, Cang %B ICEE %D 2010 %I IEEE %K dblp %P 1299-1302 %T Analysis of Yahalom-Paulson Protocol in Strand Spaces. %U http://dblp.uni-trier.de/db/conf/icee/icee2010.html#LiliLY10

@inproceedings{conf/icee/LiliLY10, added-at = {2010-10-05T00:00:00.000+0200}, author = {Lili, Yan and Linbo, He and Yan, Cang}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ada1da52c4fcdb23b57ada45a79a2035/dblp}, booktitle = {ICEE}, crossref = {conf/icee/2010}, ee = {http://dx.doi.org/10.1109/ICEE.2010.332}, interhash = {0b46bd21f5ad7f889696dc8deba582b1}, intrahash = {ada1da52c4fcdb23b57ada45a79a2035}, keywords = {dblp}, pages = {1299-1302}, publisher = {IEEE}, timestamp = {2016-02-02T14:31:09.000+0100}, title = {Analysis of Yahalom-Paulson Protocol in Strand Spaces.}, url = {http://dblp.uni-trier.de/db/conf/icee/icee2010.html#LiliLY10}, year = 2010 }