@Article{GHR2008constructing,
 author = {Bela Genge and Piroska Haller and Ovidiu Ratoi},
 title = {An Abstract Model for Security Protocol Analysis},
 booktitle = {Intelligent Distributed Computing},
 journal = {Studies In Computational Intelligence},
 year = {2008},
 Volume = {162/2008},
 issn = {1860-949X},
 pages = {245--250},
 publisher = {Springer-Verlag},
}