ENSURING THE CORRECTNESS OF CRYPTOGRAPHIC PROTOCOLS WITH RESPECT TO SECRECY Topics: e-Commerce Protocols and Micropayment Schemes; Mobile System Security; Wireless Network Security (Wifi, WIMAX, Wimedia and Others) In Proceedings of the International Conference on Security and Cryptography - Volume 0ICETE, 184-189, 2008 , Porto, Portugal