%0 Journal Article %1 journals/jcst/XueF04 %A Xue, Rui %A Feng, Dengguo %D 2004 %J J. Comput. Sci. Technol. %K dblp %N 4 %P 555-563 %T New Semantic Model for Authentication Protocols in ASMs. %U http://dblp.uni-trier.de/db/journals/jcst/jcst19.html#XueF04 %V 19

@article{journals/jcst/XueF04, added-at = {2011-05-17T00:00:00.000+0200}, author = {Xue, Rui and Feng, Dengguo}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22afc38f1fab6a07701fa9863c70e5aa8/dblp}, ee = {http://dx.doi.org/10.1007/BF02944758}, interhash = {1f929e08bf7cee95a7c2efff1d5d53b1}, intrahash = {2afc38f1fab6a07701fa9863c70e5aa8}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 4, pages = {555-563}, timestamp = {2016-02-02T01:23:57.000+0100}, title = {New Semantic Model for Authentication Protocols in ASMs.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst19.html#XueF04}, volume = 19, year = 2004 }