Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/KanovichKNS14,
  author       = {Max I. Kanovich and
                  Tajana Ban Kirigin and
                  Vivek Nigam and
                  Andre Scedrov},
  title        = {Bounded memory Dolev-Yao adversaries in collaborative systems},
  journal      = {Inf. Comput.},
  volume       = {238},
  pages        = {233--261},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.ic.2014.07.011},
  doi          = {10.1016/J.IC.2014.07.011},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KanovichKNS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip1-7/KanovichKNS10,
  author       = {Max I. Kanovich and
                  Tajana Ban Kirigin and
                  Vivek Nigam and
                  Andre Scedrov},
  editor       = {Pierpaolo Degano and
                  Sandro Etalle and
                  Joshua D. Guttman},
  title        = {Bounded Memory Dolev-Yao Adversaries in Collaborative Systems},
  booktitle    = {Formal Aspects of Security and Trust - 7th International Workshop,
                  {FAST} 2010, Pisa, Italy, September 16-17, 2010. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6561},
  pages        = {18--33},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-19751-2\_2},
  doi          = {10.1007/978-3-642-19751-2\_2},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip1-7/KanovichKNS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}