DBLP Record 'conf/csfw/KakkarGA00'

BibTeX

@inproceedings{DBLP:conf/csfw/KakkarGA00,
  author    = {Pankaj Kakkar and
               Carl A. Gunter and
               Mart\'{\i}n Abadi},
  title     = {Reasoning about Secrecy for Active Networks},
  booktitle = {CSFW},
  year      = {2000},
  pages     = {118-129},
  ee        = {http://www.computer.org/proceedings/csfw/0671/06710118abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}