FORMAL VERIFICATION OF THE SECURE SOCKETS LAYER PROTOCOL Topics: Modeling Formalisms, Languages and Notations; Security, Freedom and Privacy In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 2: ICEIS, 246-252, 2008 , Barcelona, Spain