@Article{G2009towards,
 author = {Bela Genge},
 title = {Towards Automated Execution of Security Protocols for Web Services},
 journal = {Studia Univ. Babes-Bolyai, Series Informatica},
 year = {2009},
 Volume = {LIV},
 Issue = {2},
 issn = {1224-869x},
 pages = {23--36},
 publisher = {Babes Bolyai Univ. Press, Romania},
}