AielloM00'

BibTeX

@inproceedings{DBLP:conf/csfw/AielloM00,
  author    = {Luigia Carlucci Aiello and
               Fabio Massacci},
  title     = {An Executable Specification Language for Planning Attacks
               to Security Protocols},
  booktitle = {CSFW},
  year      = {2000},
  pages     = {88-102},
  ee        = {http://www.computer.org/proceedings/csfw/0671/06710088abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}