@article{journals/iandc/KanovichKNS14,
  added-at = {2014-11-05T00:00:00.000+0100},
  author = {Kanovich, Max I. and Kirigin, Tajana Ban and Nigam, Vivek and Scedrov, Andre},
  biburl = {http://www.bibsonomy.org/bibtex/280b07110fda3147d566fed3e3dc147c6/dblp},
  ee = {http://dx.doi.org/10.1016/j.ic.2014.07.011},
  interhash = {049920decc6f72a3d58f0a62292a1d9c},
  intrahash = {80b07110fda3147d566fed3e3dc147c6},
  journal = {Inf. Comput.},
  keywords = {dblp},
  pages = {233-261},
  timestamp = {2015-06-18T00:47:46.000+0200},
  title = {Bounded memory Dolev-Yao adversaries in collaborative systems.},
  url = {http://dblp.uni-trier.de/db/journals/iandc/iandc238.html#KanovichKNS14},
  volume = 238,
  year = 2014
}

{"_id":"FKkbFn7qgFryt2pk3","bibbaseid":"kanovich-kirigin-nigam-scedrov-boundedmemorydolevyaoadversariesincollaborativesystems-2014","downloads":0,"creationDate":"2016-02-09T06:00:31.491Z","title":"Bounded memory Dolev-Yao adversaries in collaborative systems.","author_short":["Kanovich, M. I.","Kirigin, T. B.","Nigam, V.","Scedrov, A."],"year":2014,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Vivek Krishnakumar?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2014-11-05T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Kanovich"],"firstnames":["Max","I."],"suffixes":[]},{"propositions":[],"lastnames":["Kirigin"],"firstnames":["Tajana","Ban"],"suffixes":[]},{"propositions":[],"lastnames":["Nigam"],"firstnames":["Vivek"],"suffixes":[]},{"propositions":[],"lastnames":["Scedrov"],"firstnames":["Andre"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/280b07110fda3147d566fed3e3dc147c6/dblp","ee":"http://dx.doi.org/10.1016/j.ic.2014.07.011","interhash":"049920decc6f72a3d58f0a62292a1d9c","intrahash":"80b07110fda3147d566fed3e3dc147c6","journal":"Inf. Comput.","keywords":"dblp","pages":"233-261","timestamp":"2015-06-18T00:47:46.000+0200","title":"Bounded memory Dolev-Yao adversaries in collaborative systems.","url":"http://dblp.uni-trier.de/db/journals/iandc/iandc238.html#KanovichKNS14","volume":"238","year":"2014","bibtex":"@article{journals/iandc/KanovichKNS14,\n added-at = {2014-11-05T00:00:00.000+0100},\n author = {Kanovich, Max I. and Kirigin, Tajana Ban and Nigam, Vivek and Scedrov, Andre},\n biburl = {http://www.bibsonomy.org/bibtex/280b07110fda3147d566fed3e3dc147c6/dblp},\n ee = {http://dx.doi.org/10.1016/j.ic.2014.07.011},\n interhash = {049920decc6f72a3d58f0a62292a1d9c},\n intrahash = {80b07110fda3147d566fed3e3dc147c6},\n journal = {Inf. Comput.},\n keywords = {dblp},\n pages = {233-261},\n timestamp = {2015-06-18T00:47:46.000+0200},\n title = {Bounded memory Dolev-Yao adversaries in collaborative systems.},\n url = {http://dblp.uni-trier.de/db/journals/iandc/iandc238.html#KanovichKNS14},\n volume = 238,\n year = 2014\n}\n\n","author_short":["Kanovich, M. I.","Kirigin, T. B.","Nigam, V.","Scedrov, A."],"key":"journals/iandc/KanovichKNS14","id":"journals/iandc/KanovichKNS14","bibbaseid":"kanovich-kirigin-nigam-scedrov-boundedmemorydolevyaoadversariesincollaborativesystems-2014","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/j.ic.2014.07.011","Paper":"http://dblp.uni-trier.de/db/journals/iandc/iandc238.html#KanovichKNS14"},"keyword":["dblp"],"downloads":0},"search_terms":["bounded","memory","dolev","yao","adversaries","collaborative","systems","kanovich","kirigin","nigam","scedrov"],"keywords":["dblp"],"authorIDs":[],"dataSources":["MhetGwzdnqQv3dJWT"]}