%0 Conference Paper %1 conf/fossacs/AbadiB01 %A Abadi, Martín %A Blanchet, Bruno %B FoSSaCS %D 2001 %E Honsell, Furio %E Miculan, Marino %I Springer %K dblp %P 25-41 %T Secrecy Types for Asymmetric Communication. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2001.html#AbadiB01 %V 2030 %@ 3-540-41864-4

@inproceedings{conf/fossacs/AbadiB01, added-at = {2017-05-23T00:00:00.000+0200}, author = {Abadi, Martín and Blanchet, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/248722626ec877564e7511ad4a1e062e9/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2001}, editor = {Honsell, Furio and Miculan, Marino}, ee = {https://doi.org/10.1007/3-540-45315-6_2}, interhash = {d69fb7af92e9def0ed87ce7b4c2ea91f}, intrahash = {48722626ec877564e7511ad4a1e062e9}, isbn = {3-540-41864-4}, keywords = {dblp}, pages = {25-41}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:32:58.000+0200}, title = {Secrecy Types for Asymmetric Communication.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2001.html#AbadiB01}, volume = 2030, year = 2001 }