@Article{GI2007abstract,
 author = {Bela Genge and Iosif Ignat},
 title = {An Abstract Model for Security Protocol Analysis},
 journal = {WSEAS Transactions on Computers},
 year = {2007},
 Issue = {2},
 Volume = {6},
 issn = {1109-2750},
 pages = {207--215},
}