%0 Journal Article %1 journals/tcs/AbadiB03 %A Abadi, Martín %A Blanchet, Bruno %D 2003 %J Theor. Comput. Sci. %K dblp %N 3 %P 387-415 %T Secrecy types for asymmetric communication. %U http://dblp.uni-trier.de/db/journals/tcs/tcs298.html#AbadiB03 %V 298

@article{journals/tcs/AbadiB03, added-at = {2017-05-28T00:00:00.000+0200}, author = {Abadi, Martín and Blanchet, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/21b739320697b4dbf8f5dd1b0fd60e7c3/dblp}, ee = {https://doi.org/10.1016/S0304-3975(02)00863-0}, interhash = {64165dcd6f0c59f1ca692b70baaa37ba}, intrahash = {1b739320697b4dbf8f5dd1b0fd60e7c3}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {387-415}, timestamp = {2017-05-31T23:55:45.000+0200}, title = {Secrecy types for asymmetric communication.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs298.html#AbadiB03}, volume = 298, year = 2003 }