%0 Conference Paper %1 conf/ifip1-7/KanovichKNS10 %A Kanovich, Max I. %A Kirigin, Tajana Ban %A Nigam, Vivek %A Scedrov, Andre %B Formal Aspects in Security and Trust %D 2010 %E Degano, Pierpaolo %E Etalle, Sandro %E Guttman, Joshua D. %I Springer %K dblp %P 18-33 %T Bounded Memory Dolev-Yao Adversaries in Collaborative Systems. %U http://dblp.uni-trier.de/db/conf/ifip1-7/fast2010.html#KanovichKNS10 %V 6561 %@ 978-3-642-19750-5

@inproceedings{conf/ifip1-7/KanovichKNS10, added-at = {2017-06-04T00:00:00.000+0200}, author = {Kanovich, Max I. and Kirigin, Tajana Ban and Nigam, Vivek and Scedrov, Andre}, biburl = {https://www.bibsonomy.org/bibtex/229b288d0f6b5428c1d60e58e49a905e7/dblp}, booktitle = {Formal Aspects in Security and Trust}, crossref = {conf/ifip1-7/2010}, editor = {Degano, Pierpaolo and Etalle, Sandro and Guttman, Joshua D.}, ee = {https://doi.org/10.1007/978-3-642-19751-2_2}, interhash = {62c1e6f70a089bf8b79f16396360d3b7}, intrahash = {29b288d0f6b5428c1d60e58e49a905e7}, isbn = {978-3-642-19750-5}, keywords = {dblp}, pages = {18-33}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:54:48.000+0200}, title = {Bounded Memory Dolev-Yao Adversaries in Collaborative Systems.}, url = {http://dblp.uni-trier.de/db/conf/ifip1-7/fast2010.html#KanovichKNS10}, volume = 6561, year = 2010 }