2005'

BibTeX

@proceedings{DBLP:conf/fosad/2005,
  editor    = {Alessandro Aldini and
               Roberto Gorrieri and
               Fabio Martinelli},
  title     = {Foundations of Security Analysis and Design III, FOSAD 2004/2005
               Tutorial Lectures},
  booktitle = {FOSAD},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3655},
  year      = {2005},
  isbn      = {3-540-28955-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}