%0 Conference Paper %1 conf/aplas/AbadiCF06 %A Abadi, Martín %A Corin, Ricardo %A Fournet, Cédric %B APLAS %D 2006 %E Kobayashi, Naoki %I Springer %K dblp %P 253-269 %T Computational Secrecy by Typing for the Pi Calculus. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2006.html#AbadiCF06 %V 4279 %@ 3-540-48937-1

@inproceedings{conf/aplas/AbadiCF06, added-at = {2017-05-19T00:00:00.000+0200}, author = {Abadi, Martín and Corin, Ricardo and Fournet, Cédric}, biburl = {https://www.bibsonomy.org/bibtex/2bc9e47242da02478cdbcafd70ee94eac/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2006}, editor = {Kobayashi, Naoki}, ee = {https://doi.org/10.1007/11924661_16}, interhash = {b09caec60a89f59433d0da1dacbecc59}, intrahash = {bc9e47242da02478cdbcafd70ee94eac}, isbn = {3-540-48937-1}, keywords = {dblp}, pages = {253-269}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:42:01.000+0200}, title = {Computational Secrecy by Typing for the Pi Calculus.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2006.html#AbadiCF06}, volume = 4279, year = 2006 }