Formal Treatment of Secure Protocols : an Introduction