@Article{,
 author = {P. Dudek, M. Kurkowski},
 title = {On Some Specification Languages of Cryptographic Protocols},
 journal = {Scientific Research of the Institute of Mathematics and Computer Science},
 year = {2010},
 volume = {XV},
 pages = {121--130}
 }