DBLP Record 'journals/corr/abs-cs-0511014'

BibTeX

@article{DBLP:journals/corr/abs-cs-0511014,
  author    = {Helmut Seidl and
               Kumar Neeraj Verma},
  title     = {Flat and One-Variable Clauses: Complexity of Verifying Cryptographic
               Protocols with Single Blind Copying},
  journal   = {CoRR},
  volume    = {abs/cs/0511014},
  year      = {2005},
  ee        = {http://arxiv.org/abs/cs/0511014},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}