@inproceedings{GH2008modeling,
 author = {Bela Genge and Piroska Haller},
 title = {A Modeling Framework for Generating Security Protocol Specifications},
 booktitle = {Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'08), Workshop on Global Computing Models and Technologies},
 year = {2008},
 isbn = {978-0-7695-3523-4},
 pages = {362--365},
 location = {Timisoara, Romania},
 publisher = {IEEE Computer Society Press},
}