%0 Journal Article %1 journals/tcs/AbadiF04 %A Abadi, Martín %A Fournet, Cédric %D 2004 %J Theor. Comput. Sci. %K dblp %N 3 %P 427-476 %T Private authentication. %U http://dblp.uni-trier.de/db/journals/tcs/tcs322.html#AbadiF04 %V 322

@article{journals/tcs/AbadiF04, added-at = {2004-11-22T00:00:00.000+0100}, author = {Abadi, Martín and Fournet, Cédric}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/287320faf405d77886b1bf77223184791/dblp}, ee = {http://dx.doi.org/10.1016/j.tcs.2003.12.023}, interhash = {17a5a0fe3376988682117535e2b28fc4}, intrahash = {87320faf405d77886b1bf77223184791}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {427-476}, timestamp = {2016-02-02T10:02:46.000+0100}, title = {Private authentication.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs322.html#AbadiF04}, volume = 322, year = 2004 }