@Article{GI2008syntactic,
 author = {Bela Genge and Iosif Ignat},
 title = {Syntactic Sequential Composition of Security Protocols},
 journal = {Automation Computers Applied Mathematics},
 year = {2008},
 Volume = {17},
 Issue = {2},
 issn = {1221-437X},
 pages = {169--178},
 publisher = {UTCN Press, Romania},
}